Parsing of Context-Sensitive Languages
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F07%3APU86433" target="_blank" >RIV/00216305:26230/07:PU86433 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Parsing of Context-Sensitive Languages
Original language description
This article presents some ideas from parsing Context-Sensitive languages. Introduces Scattered-Context grammars and languages and describes usage of such grammars to parse CS languages. Also there are presented additional results from type checking andformal program verification using CS parsing.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2007
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07))
ISBN
978-80-7248-006-7
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
—
Publisher name
Silesian University
Place of publication
Opava
Event location
Hradec nad Moravicí
Event date
Apr 23, 2007
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—