Projects per year
Abstract
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.
Original language | English |
---|---|
Title of host publication | Electronic Notes in Theoretical Computer Science 238 (2009) |
Publisher | Elsevier |
Pages | 155-171 |
DOIs | |
Publication status | Published - 2008 |
Event | LDTA'08: 8th Workshop on Language Description, Tools and Applications - Budapest, Hungary Duration: 2008 Apr 5 → … |
Publication series
Name | |
---|---|
ISSN (Print) | 1571-0661 |
Conference
Conference | LDTA'08: 8th Workshop on Language Description, Tools and Applications |
---|---|
Country/Territory | Hungary |
City | Budapest |
Period | 2008/04/05 → … |
Subject classification (UKÄ)
- Computer Science
Fingerprint
Dive into the research topics of 'Declarative intraprocedural flow analysis of Java source code'. Together they form a unique fingerprint.Projects
- 1 Finished
-
EASE: Embedded Applications Software Engineering
Åkesson, J. (Researcher), Magnusson, B. (Researcher), Svensson Fors, D. (Researcher), Magnusson, E. (Researcher), Hedin, G. (Researcher), Kuchcinski, K. (Researcher), Andersson, P. (Researcher), Nugues, P. (Researcher), Robertz, S. (Researcher), Ekman, T. (Researcher), Loconsole, A. (Researcher), Orucevic-Alagic, A. (Researcher), Johnsson, B. A. (Researcher), Pfahl, D. (Researcher), Bjarnason, E. (Researcher), Söderberg, E. (Researcher), Sabaliauskaité, G. (Researcher), Jonsson, H. (Researcher), Janneck, J. (Researcher), Wnuk, K. (Researcher), Borg, M. (Researcher), Skoglund, M. (Researcher), Sulaman, S. M. (Researcher), Minör, S. (Researcher), Sandholm, T. (Researcher), Alce, G. (Researcher), Wallergård, M. (Researcher), Zhang, C. (Researcher), Barney, S. (Researcher), Martinsen, J. K. (Researcher), Grahn, H. (Researcher), Jalali, S. (Researcher), Ardö, A. (Researcher), Engström, E. (Researcher), Berntsson Svensson, R. (Researcher), Regnell, B. (Researcher), Runeson, P. (PI), Wohlin, C. (PI), Höst, M. (Researcher) & Wisbrant, J. (Project communication officer)
2008/09/30 → 2018/12/31
Project: Research