Sciweavers

OOPSLA
2007
Springer

The JastAdd extensible Java compiler

13 years 9 months ago
The JastAdd extensible Java compiler
We have implemented intraprocedural control-flow and data-flow analysis of Java source code in a declarative manner, using reference attribute grammars augmented with circular attributes and collection attributes. Our implementation is built on top of the JastAdd Extensible Java Compiler and we have run the analyses on medium-sized Java programs. We show how the analyses can be built using small concise composable modules, and how they provide extensible frameworks for further source code analyses. Preliminary measurements indicate that there is little difference in execution time between our declarative data-flow analysis and an imperative implementation. Key words: declarative, data-flow, analysis, control-flow, Java, compiler, attribute grammars
Torbjörn Ekman, Görel Hedin
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where OOPSLA
Authors Torbjörn Ekman, Görel Hedin
Comments (0)