Publication detail

Type Checking by Context-Sensitive Languages

RYCHNOVSKÝ, L.

Original Title

Type Checking by Context-Sensitive Languages

Type

article in a collection out of WoS and Scopus

Language

English

Original 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

Authors

RYCHNOVSKÝ, L.

RIV year

2007

Released

29. 5. 2007

Publisher

Faculty of Electrical Engineering and Communication BUT

Location

Brno

ISBN

978-80-214-3410-3

Book

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

Pages from

405

Pages to

409

Pages count

5

URL

http://www.feec.vutbr.cz/EEICT/2007/sbornik/03-doktorske_projekty/07-informacni_systemy/06-kriket.pdf

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