Result 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.
Type
conference paper
Language
English
Authors
Rychnovský Lukáš, Ing., Ph.D.
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.

Keywords

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

URL
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
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"
}
Projects
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Formal Model Research Group (RG FM)
Departments
Department of Information Systems (DIFS)
Back to top