Publication Details

Type Checking by Context-Sensitive Languages

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.
Czech title
Typová kontrola pomocí kontextových jazyků
Type
conference paper
Language
english
Authors
Rychnovský Lukáš, Mgr. (FIT BUT)
URL
Keywords

formal languages, scattered context grammar, type checking

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. The main goal of this article is to present results from type checking using CS parsing.

Published
2007
Pages
405-409
Proceedings
Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4
Conference
Student EEICT 2007, Brno, CZ
ISBN
978-80-214-3410-3
Publisher
Faculty of Electrical Engineering and Communication BUT
Place
Brno, CZ
BibTeX
@INPROCEEDINGS{FITPUB8547,
   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 = "https://www.fit.vut.cz/research/publication/8547"
}
Back to top