Detail publikace

Type Checking by Context-Sensitive Languages

RYCHNOVSKÝ, L.

Originální název

Type Checking by Context-Sensitive Languages

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální 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

Autoři

RYCHNOVSKÝ, L.

Rok RIV

2007

Vydáno

29. 5. 2007

Nakladatel

Faculty of Electrical Engineering and Communication BUT

Místo

Brno

ISBN

978-80-214-3410-3

Kniha

Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4

Strany od

405

Strany do

409

Strany počet

5

URL

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