Parsing of Context-Sensitive Languages
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Parsing of Context-Sensitive Languages
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Parsing of Context-Sensitive Languages
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2007
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07))
ISBN
978-80-7248-006-7
ISSN
—
e-ISSN
—
Počet stran výsledku
8
Strana od-do
—
Název nakladatele
Silesian University
Místo vydání
Opava
Místo konání akce
Hradec nad Moravicí
Datum konání akce
23. 4. 2007
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—