Detail publikace

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.
Název česky
Analýza kontextových jazyků
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Rychnovský Lukáš, Ing., Ph.D.
URL
Klíčová slova

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

Abstrakt

Článek prezentuje myšlenky analýzy kontextových jazyků. Představuje gramatiky a jazyky s rozptýleným kontextem a popisuje jejich použití pro analýzu kontextových jazyků. Dále prezentuje doplňkové výsledky ohledně kontroly typů a formální verifikace programů s použitím analýzy kontextových jazyků.

Rok
2007
Strany
219–226
Sborník
Information Systems and Formal Models (Proceedings of 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"
}
Nahoru