Publication Details

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: Silesian University, 2007, pp. 219-226. ISBN 978-80-7248-006-7.
Czech title
Analýza kontextových jazyků
Type
conference paper
Language
english
Authors
Rychnovský Lukáš, Mgr. (FIT BUT)
URL
Keywords

Turing Machines, Parsing of Context-Sensitive Languages, Fornral Program Verification, Scattered-Context Grammars.

Abstract

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 and formal program verification using CS parsing.

Published
2007
Pages
219-226
Proceedings
Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07))
Conference
2nd International Workshop on Formal Models WFM'07, Hradec nad Moravicí, CZ
ISBN
978-80-7248-006-7
Publisher
Silesian University
Place
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"
}
Back to top