Meny

Javascript is not activated in your browser. This website needs javascript activated to work properly.
Du är här

Demand-driven evaluation of collection attributes

Författare:
Publiceringsår: 2009
Språk: Engelska
Sidor: 291-322
Publikation/Tidskrift/Serie: Automated Software Engineering
Volym: 16
Nummer: 2
Dokumenttyp: Artikel
Förlag: Springer

Sammanfattning

N order to make attribute grammars useful for complicated analysis tasks, a number of extensions to the original Knuth formalism have been suggested. One such extension is the collection attribute mechanism, which allows the value of an attribute to be defined as a combination of contributions from distant nodes in the abstract syntax tree. Another extension that has proven useful is circular attributes, evaluated using fixed-point iteration. In this paper we show how collection attributes and the combined formalism, circular collection attributes, have been implemented in our declarative meta programming system JastAdd, and how they can be used for a variety of applications including devirtualization analysis, metrics and flow analysis. A number of evaluation algorithms are introduced and compared for applicability and efficiency. The key design criterion for our algorithms is that they work well with demand evaluation, i.e., defined properties are computed only if they are actually needed for a particular program. We show that the best algorithms work well on large practical problems including the analysis of large Java programs.

Disputation

Nyckelord

  • Technology and Engineering
  • Attribute grammars - Collection attributes - Circular attributes - Fixed-point computations - Source code analysis

Övriga

Published
  • EASE
Yes
  • ISSN: 0928-8910 (Print)
  • ISSN: 1573-7535 (Online)

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

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