Publication result detail

Parsing of Context-Sensitive Languages

RYCHNOVSKÝ, L.

Original Title

Parsing of Context-Sensitive Languages

English Title

Parsing of Context-Sensitive Languages

Type

Paper in proceedings outside WoS and Scopus

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.

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

Key words in English

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

Authors

RYCHNOVSKÝ, L.

RIV year

2010

Released

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

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