Publication detail

Parsing of Context-Sensitive Languages

RYCHNOVSKÝ, L.

Original Title

Parsing of Context-Sensitive Languages

Type

article in a collection out of WoS and Scopus

Language

English

Original 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.

Authors

RYCHNOVSKÝ, L.

RIV year

2007

Released

23. 5. 2007

Publisher

Silesian University

Location

Opava

ISBN

978-80-7248-006-7

Book

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

Pages from

219

Pages to

226

Pages count

8

URL

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