Detail publikace

Parsing of Context-Sensitive Languages

Originální název

Parsing of Context-Sensitive Languages

Anglický název

Parsing of Context-Sensitive Languages

Jazyk

en

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.

Anglický 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.

BibTex


@inproceedings{BUT33199,
  author="Lukáš {Rychnovský}",
  title="Parsing of Context-Sensitive Languages",
  annote="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.",
  address="Silesian University",
  booktitle="Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07))",
  chapter="33199",
  edition="NEUVEDEN",
  howpublished="print",
  institution="Silesian University",
  year="2007",
  month="may",
  pages="219--226",
  publisher="Silesian University",
  type="conference paper"
}