Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Rychnovský Lukáš, Ing., Ph.D.
Abstrakt

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.

Klíčová slova

formal languages, scattered context grammar, type checking

URL
Rok
2007
Strany
405–409
Sborník
Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4
Konference
Student EEICT 2007
ISBN
978-80-214-3410-3
Vydavatel
Faculty of Electrical Engineering and Communication BUT
Místo
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"
}
Projekty
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina formálních modelů (VZ FM)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru