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"
}
Back to top