Declarative intraprocedural flow analysis of Java source code
Author
Summary, in English
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.
Publishing year
2008
Language
English
Pages
155-171
Publication/Series
Electronic Notes in Theoretical Computer Science 238 (2009)
Document type
Conference paper
Publisher
Elsevier
Topic
- Computer Science
Conference name
LDTA'08: 8th Workshop on Language Description, Tools and Applications
Conference date
2008-04-05
Conference place
Budapest, Hungary
Status
Published
Project
- Embedded Applications Software Engineering
ISBN/ISSN/Other
- ISSN: 1571-0661