Result Details

Type Checking by Context-Sensitive Languages

RYCHNOVSKÝ, L. Type Checking by Context-Sensitive Languages. Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4. Brno: Faculty of Electrical Engineering and Communication BUT, 2007. p. 405-409. ISBN: 978-80-214-3410-3.
Type
conference paper
Language
English
Authors
Rychnovský Lukáš, Ing., Ph.D.
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.

Keywords

formal languages, scattered context grammar, type checking

URL
Published
2007
Pages
405–409
Proceedings
Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4
Conference
Student EEICT 2007
ISBN
978-80-214-3410-3
Publisher
Faculty of Electrical Engineering and Communication BUT
Place
Brno
BibTeX 
@inproceedings{BUT33596,
  author="Lukáš {Rychnovský}",
  title="Type Checking by Context-Sensitive Languages",
  booktitle="Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4",
  year="2007",
  pages="405--409",
  publisher="Faculty of Electrical Engineering and Communication BUT",
  address="Brno",
  isbn="978-80-214-3410-3",
  url="http://www.feec.vutbr.cz/EEICT/2007/sbornik/03-doktorske_projekty/07-informacni_systemy/06-kriket.pdf"
}
Projects
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Formal Model Research Group (RG FM)
Departments
Department of Information Systems (DIFS)
Back to top