Conference paper

RYCHNOVSKÝ Lukáš. Parsing of Context-Sensitive Languages. In: Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07)). Opava: Silesian University, 2007, pp. 219-226. ISBN 978-80-7248-006-7.
Publication language:english
Original title:Parsing of Context-Sensitive Languages
Title (cs):Analýza kontextových jazyků
Pages:219-226
Proceedings:Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07))
Conference:2nd International Workshop on Formal Models WFM'07
Place:Opava, CZ
Year:2007
ISBN:978-80-7248-006-7
Publisher:Silesian University
URL:http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-255/paper08.pdf [PDF]
Keywords
Turing Machines, Parsing of Context-Sensitive Languages, Fornral Program Verification, Scattered-Context Grammars.
Annotation
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{
   author = {Luk{\'{a}}{\v{s}} Rychnovsk{\'{y}}},
   title = {Parsing of Context-Sensitive Languages},
   pages = {219--226},
   booktitle = {Information Systems and Formal Models (Proceedings of 2nd
	International Workshop on Formal Models (WFM'07))},
   year = {2007},
   location = {Opava, CZ},
   publisher = {Silesian University},
   ISBN = {978-80-7248-006-7},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8548}
}

Your IPv4 address: 54.221.73.186
Switch to IPv6 connection

DNSSEC [dnssec]