Automatic incrementalization of prolog based static analyses

DMCA

Automatic incrementalization of prolog based static analyses (2007)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Michael Eichberg , Matthias Kahl , Diptikalyan Saha , Mira Mezini , Klaus Ostermann

Venue:	Practical Aspects of Declarative Languages, volume 4354 of LNCS
Citations:	6 - 0 self

BibTeX

@INPROCEEDINGS{Eichberg07automaticincrementalization,
    author = {Michael Eichberg and Matthias Kahl and Diptikalyan Saha and Mira Mezini and Klaus Ostermann},
    title = {Automatic incrementalization of prolog based static analyses},
    booktitle = {Practical Aspects of Declarative Languages, volume 4354 of LNCS},
    year = {2007},
    pages = {109--123},
    publisher = {Springer}
}

OpenURL

Abstract

Abstract. Modern development environments integrate various static analyses into the build process. Analyses that analyze the whole project whenever the project changes are impractical in this context. We present an approach to automatic incrementalization of analyses that are specified as tabled logic programs and evaluated using incremental tabled evaluation, a technique for efficiently updating memo tables in response to changes in facts and rules. The approach has been implemented and integrated into the Eclipse IDE. Our measurements show that this technique is effective for automatically incrementalizing a broad range of static analyses. 1

DMCA