Du är här

Declarative intraprocedural flow analysis of Java source code

Författare:
Publiceringsår: 2008
Språk: Engelska
Sidor: 155-171
Publikation/Tidskrift/Serie: Electronic Notes in Theoretical Computer Science 238 (2009)
Dokumenttyp: Konferensbidrag
Förlag: Elsevier

Sammanfattning

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.

Disputation

Nyckelord

  • Technology and Engineering

Övriga

LDTA'08: 8th Workshop on Language Description, Tools and Applications
2008-04-05
Budapest, Hungary
Published
  • EASE
Yes
  • ISSN: 1571-0661

Box 117, 221 00 LUND
Telefon 046-222 00 00 (växel)
Telefax 046-222 47 20
lu [at] lu [dot] se

LERU logotype U21 logotype

Fakturaadress: Box 188, 221 00 LUND
Organisationsnummer: 202100-3211
Om webbplatsen