Conference paper

RYCHNOVSKÝ Lukáš. Type Checking by Context-Sensitive Languages. In: Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4. Brno: Faculty of Electrical Engineering and Communication BUT, 2007, pp. 405-409. ISBN 978-80-214-3410-3.
Publication language:english
Original title:Type Checking by Context-Sensitive Languages
Title (cs):Typová kontrola pomocí kontextových jazyků
Pages:405-409
Proceedings:Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4
Conference:Student EEICT 2007
Place:Brno, CZ
Year:2007
ISBN:978-80-214-3410-3
Publisher:Faculty of Electrical Engineering and Communication BUT
URL:http://www.feec.vutbr.cz/EEICT/2007/sbornik/03-doktorske_projekty/07-informacni_systemy/06-kriket.pdf [PDF]
Keywords
formal languages, scattered context grammar, type checking
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. The main goal of this article is to present results from type checking using CS parsing.
BibTeX:
@INPROCEEDINGS{
   author = {Luk{\'{a}}{\v{s}} Rychnovsk{\'{y}}},
   title = {Type Checking by Context-Sensitive Languages},
   pages = {405--409},
   booktitle = {Proceedings of the 13th Conference STUDENT EEICT 2007,
	Volume 4},
   year = {2007},
   location = {Brno, CZ},
   publisher = {Faculty of Electrical Engineering and Communication BUT},
   ISBN = {978-80-214-3410-3},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8547}
}

Your IPv4 address: 54.91.38.173
Switch to IPv6 connection

DNSSEC [dnssec]