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" }