Detail publikace

Parsing of Context-Sensitive Languages

RYCHNOVSKÝ, L.

Originální název

Parsing of Context-Sensitive Languages

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální 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.

Autoři

RYCHNOVSKÝ, L.

Rok RIV

2007

Vydáno

23. 5. 2007

Nakladatel

Silesian University

Místo

Opava

ISBN

978-80-7248-006-7

Kniha

Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07))

Strany od

219

Strany do

226

Strany počet

8

URL

http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-255/paper08.pdf

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"
}