Detail publikace

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.
Název česky
Typová kontrola pomocí kontextových jazyků
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Rychnovský Lukáš, Ing., Ph.D.
URL
Klíčová slova

formal languages, scattered context grammar, type checking

Abstrakt

Článek prezentuje myšlenky analýzy kontektových jazyků pomocí gramatik s rozptýleným kontextem. Hlavním cílem je prezentovat výsledky ohledně typové kontroly pomocí těchto jazyků.

Rok
2007
Strany
405–409
Sborník
Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4
Konference
Student EEICT 2007, Brno, CZ
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"
}
Nahoru