Publication Details
Parsing of Context-Sensitive Languages
RYCHNOVSKÝ, L. Parsing of Context-Sensitive Languages. Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07)). Opava: Silesian University, 2007. p. 219-226. ISBN: 978-80-7248-006-7.
Czech title
Analýza kontextových jazyků
Type
conference paper
Language
English
Authors
Rychnovský Lukáš, Ing., Ph.D.
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))
ISBN
978-80-7248-006-7
Publisher
Silesian University
Place
Opava
BibTeX
@inproceedings{BUT33199,
author="Lukáš {Rychnovský}",
title="Parsing of Context-Sensitive Languages",
booktitle="Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07))",
year="2007",
pages="219--226",
publisher="Silesian University",
address="Opava",
isbn="978-80-7248-006-7",
url="http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-255/paper08.pdf"
}