Generalized type-based disambiguation of meta programs with concrete object syntax

DMCA

Generalized type-based disambiguation of meta programs with concrete object syntax (2005)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Martin Bravenboer , Rob Vermaas , Jurgen Vinju , Eelco Visser

Venue:	Proceedings of the Fourth International Conference on Generative Programming and Component Engineering (GPCE’05), volume 3676 of Lecture Notes in Computer Science
Citations:	21 - 13 self

BibTeX

@INPROCEEDINGS{Bravenboer05generalizedtype-based,
    author = {Martin Bravenboer and Rob Vermaas and Jurgen Vinju and Eelco Visser},
    title = {Generalized type-based disambiguation of meta programs with concrete object syntax},
    booktitle = {Proceedings of the Fourth International Conference on Generative Programming and Component Engineering (GPCE’05), volume 3676 of Lecture Notes in Computer Science},
    year = {2005},
    pages = {157--172},
    publisher = {Springer}
}

OpenURL

Abstract

Abstract. In meta programming with concrete object syntax, object-level programs are composed from fragments written in concrete syntax. The use of small program fragments in such quotations and the use of meta-level expressions within these fragments (anti-quotation) often leads to ambiguities. This problem is usually solved through explicit disambiguation, resulting in considerable syntactic overhead. A few systems manage to reduce this overhead by using type information during parsing. Since this is hard to achieve with traditional parsing technology, these systems provide specific combinations of meta and object languages, and their implementations are difficult to reuse. In this paper, we generalize these approaches and present a language independent method for introducing concrete object syntax without explicit disambiguation. The method uses scannerless generalized-LR parsing to parse meta programs with embedded objectlevel fragments, which produces a forest of all possible parses. This forest is reduced to a tree by a disambiguating type checker for the meta language. To validate our method we have developed embeddings of several object languages in Java, including AspectJ and Java itself. 1

Keyphrases

concrete object syntax meta program type-based disambiguation explicit disambiguation object-level program concrete syntax meta language embedded objectlevel fragment several object language small program fragment language independent method meta-level expression possible par specific combination type information object language considerable syntactic overhead disambiguating type checker meta programming scannerless generalized-lr parsing

DMCA