Detail publikace

Parsing of Context-Sensitive Languages

RYCHNOVSKÝ Lukáš. Parsing of Context-Sensitive Languages. In: Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07)). Opava: Slezská univerzita v Opavě, 2007, s. 219-226. ISBN 978-80-7248-006-7.
Název česky
Analýza kontextových jazyků
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Rychnovský Lukáš, Mgr. (FIT VUT)
URL
Abstrakt

Článek prezentuje myšlenky analýzy kontextových jazyků. Představuje gramatiky a jazyky s rozptýleným kontextem a popisuje jejich použití pro analýzu kontextových jazyků. Dále prezentuje doplňkové výsledky ohledně kontroly typů a formální verifikace programů s použitím analýzy kontextových jazyků.

Rok
2007
Strany
219-226
Sborník
Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07))
Konference
2nd International Workshop on Formal Models WFM'07, Hradec nad Moravicí, CZ
ISBN
978-80-7248-006-7
Vydavatel
Slezská univerzita v Opavě
Místo
Opava, CZ
BibTeX 
@INPROCEEDINGS{FITPUB8548,
   author = "Luk\'{a}\v{s} Rychnovsk\'{y}",
   title = "Parsing of Context-Sensitive Languages",
   pages = "219--226",
   booktitle = "Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07))",
   year = 2007,
   location = "Opava, CZ",
   publisher = "Silesian University",
   ISBN = "978-80-7248-006-7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8548"
}
Nahoru