Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Rychnovský Lukáš, Ing., Ph.D.
Abstrakt

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.

Klíčová slova

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

URL
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
ISBN
978-80-7248-006-7
Vydavatel
Silesian University
Místo
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"
}
Projekty
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina formálních modelů (VZ FM)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru