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

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

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