Incremental analysis of real programming languages

Wagner, Tim A.; Graham, Susan L.

doi:10.1145/258915.258920

Cited by 32 publications

(25 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Other approaches to incremental analysis are developed for other purposes, e.g., [38] proposes an efficient incremental parser for general context-free grammars which allows generating incremental tools. The work in [19] develops an approach to incremental static semantic analysis for object-oriented languages using door attribute grammars as a way to maintain incremental information, while our work is mostly focused on the reconstruction of the analysis information and the upper bound summaries.…”

Section: Related Workmentioning

confidence: 99%

A multi-domain incremental analysis engine and its application to incremental resource analysis

Albert

Fernández

Puebla

et al. 2015

Theoretical Computer Science

View full text Add to dashboard Cite

The aim of incremental analysis is, given a program, its analysis results, and a series of changes to the program, to obtain the new analysis results as efficiently as possible and, ideally, without having to (re-)analyze fragments of code which are not affected by the changes. Incremental analysis can significantly reduce both the time and the memory requirements of analysis. The first contribution of this article is a multi-domain incremental fixed-point algorithm for a sequential Java-like language. The algorithm is multi-domain in the sense that it interleaves the (re-)analysis for multiple domains by taking into account dependencies among them. Importantly, this allows the incremental analyzer to invalidate only those analysis results previously inferred by certain dependent domains. The second contribution is an incremental resource usage analysis which, in its first phase, uses the multi-domain incremental fixed-point algorithm to carry out all global pre-analyses required to infer cost in an interleaved way. Such resource analysis is parametric on the cost metrics one wants to measure (e.g., number of executed instructions, number of objects created, etc.). Besides, we present a novel form of cost summaries which allows us to incrementally reconstruct only those components of cost functions affected by the changes. Experimental results in the costa system show that the proposed incremental analysis provides significant performance gains, ranging from a speedup of 1.48 up to 5.13 times faster than non-incremental analysis.

show abstract

Section: Related Workmentioning

confidence: 99%

A multi-domain incremental analysis engine and its application to incremental resource analysis

Albert

Fernández

Puebla

et al. 2015

Theoretical Computer Science

View full text Add to dashboard Cite

show abstract

“…Other approaches to incremental analysis are developed for other purposes, e.g., [25] proposes an efficient incremental parser for general context-free grammars which allows generating incremental tools. The work in [12] develops an approach to incremental static semantic analysis for object-oriented languages using door attribute grammars as a way to maintain incremental information, while our work is mostly focused on the reconstruction of the analysis information and the cost summaries.…”

Section: Conclusion and Related Workmentioning

confidence: 99%

Incremental resource usage analysis

Albert

Fernández

Puebla

et al. 2012

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation

View full text Add to dashboard Cite

The aim of incremental global analysis is, given a program, its analysis results and a series of changes to the program, to obtain the new analysis results as efficiently as possible and, ideally, without having to (re-)analyze fragments of code which are not affected by the changes. Incremental analysis can significantly reduce both the time and the memory requirements of analysis. This paper presents an incremental resource usage analysis for a sequential Java-like language. Our main contributions are (1) a multi-domain incremental fixed-point algorithm which can be used by all global preanalyses required to infer the cost (including class, sharing, cyclicity, constancy, and size analyses), and which takes care of propagating dependencies among such domains, and (2) a novel form of cost summaries which allows us to incrementally reconstruct only those components of cost functions affected by the change. Experimental results in the COSTA system show that the proposed incremental analysis performs very efficiently in practice.

show abstract

“…For example the SDF system [17] uses a General LR algorithm. There also exist incremental versions of GLR which may be applicable [18].…”

Section: Experience Reportmentioning

confidence: 99%

Prototyping a tool environment for run-time assertion checking in JML with communication histories

Boer

Gouw

Vinju

2010

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs

View full text Add to dashboard Cite

In this paper we present prototype tool-support for the runtime assertion checking of the Java Modeling Language (JML) extended with communication histories specified by attribute grammars. Our tool suite integrates Rascal, a meta programming language and ANTLR, a popular parser generator. Rascal instantiates a generic model of history updates for a given Java program annotated with history specifications. ANTLR is used for the actual evaluation of history assertions.

show abstract

Incremental analysis of real programming languages

Cited by 32 publications

References 22 publications

A multi-domain incremental analysis engine and its application to incremental resource analysis

A multi-domain incremental analysis engine and its application to incremental resource analysis

Incremental resource usage analysis

Prototyping a tool environment for run-time assertion checking in JML with communication histories

Contact Info

Product

Resources

About