Článek ve sborníku konference

 
Rychnovský, L.: Type Checking by Context-Sensitive Languages, In: Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4, Brno, CZ, FEKT VUT, 2007, s. 405-409, ISBN 978-80-214-3410-3
Jazyk publikace:angličtina
Název publikace:Type Checking by Context-Sensitive Languages
Název (cs):Typová kontrola pomocí kontextových jazyků
Strany:405-409
Sborník:Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4
Konference:Student EEICT 2007
Místo vydání:Brno, CZ
Rok:2007
ISBN:978-80-214-3410-3
Vydavatel:Fakulta elektrotechniky a komunikačních technologií VUT v Brně
URL:http://www.feec.vutbr.cz/EEICT/2007/sbornik/03-doktorske_projekty/07-informacni_systemy/06-kriket.pdf [PDF]
Klíčová slova
formal languages, scattered context grammar, type checking
Anotace
Č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ů.
BibTeX:
@INPROCEEDINGS{
   author = {Lukáš Rychnovský},
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=8547}
}