Declarative, formal, and extensible syntax definition for AspectJ - A case for scannerless generalized-LR parsing

Manakin: DSpace XMLUI Project v2

Declarative, formal, and extensible syntax definition for AspectJ - A case for scannerless generalized-LR parsing

Cómo citar
Cómo citar

Declarative, formal, and extensible syntax definition for AspectJ - A case for scannerless generalized-LR parsing

.
Copiar
Título: Declarative, formal, and extensible syntax definition for AspectJ - A case for scannerless generalized-LR parsing
Autor: Bravenboer, Martin; Tanter, Eric; Visser, Eelco
Resumen: Aspect-Oriented Programming (AOP) is attracting attention from both research and industry, as illustrated by the ever-growing popularity of AspectJ, the de facto standard AOP extension of Java. From a compiler construction perspective, AspectJ is interesting as it is a typical example of a compositional language, i.e. a language composed of a number of separate languages with different syntactical styles: in addition to plain Java, AspectJ includes a language for defining pointcuts and one for defining advices. Language composition represents a non-trivial challenge for conventional parsing techniques. First, combining several languages with different lexical syntax leads to considerable complexity in the lexical states to be processed. Second, as new language features for AOP are being explored, many research proposals are concerned with further extending the AspectJ language, resulting in a need for an extensible syntax definition. This paper shows how scannerless parsing elegantly addresses the issues encountered by conventional techniques when parsing AspectJ. We present the design of a modular, extensible, and formal definition of the lexical and context-free aspects of the AspectJ syntax in the Syntax Definition Formalism SDF, which is implemented by a scannerless, generalized-LR parser (SGLR). We introduce grammar mixins as a novel application of SDF's modularity features, which allows the declarative definition of different keyword policies and combination of extensions. We illustrate the modular extensibility of our definition with syntax extensions taken from current research on aspect languages. Finally, benchmarks show the reasonable performance of scannerless generalized-LR parsing for this grammar.
URI: http://www.captura.uchile.cl/handle/2250/5438
Fecha: 2006-10
Cita del item: ACM SIGPLAN NOTICES Volume: 41 Issue: 10 Pages: 209-228 Published: OCT 2006


Archivos vinculados

Formato: Nombre: Tamaño: Descripción: Ver
PDF
Bravenboer_Martin.pdf
614.8Kb
Abrir / Descargar

El ítem tiene asociados los siguientes archivos de licencia:

Este ítem aparece en la(s) siguiente(s) colección(ones)