Work

Declarative Intraprocedural Flow Analysis of Java Source Code

Year: 2009

Type: article

Abstract: 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.

Source: Electronic Notes in Theoretical Computer Science

DOI: 10.1016/j.entcs.2009.09.046

Authors: Emma Nilsson-Nyman, Görel Hedin, Eva Magnusson, Torbjörn Ekman

Institutions: Lund University, University of Oxford

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W1983711382

FWCI: 12.83

Cites: 15

Cited by: 29

Related to: 10