TU Darmstadt / ULB / TUbiblio

Automatic Incrementalization of Prolog Based Static Analyses

Eichberg, Michael and Kahl, Matthias and Saha, Diptikalyan and Mezini, Mira and Ostermann, Klaus (2007):
Automatic Incrementalization of Prolog Based Static Analyses.
In: Practical Aspects of Declarative Languages, Heidelberg/Berlin, Germany, pp. 109-123, [Book Section]

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.

Item Type: Book Section
Erschienen: 2007
Creators: Eichberg, Michael and Kahl, Matthias and Saha, Diptikalyan and Mezini, Mira and Ostermann, Klaus
Title: Automatic Incrementalization of Prolog Based Static Analyses
Language: English
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.

Title of Book: Practical Aspects of Declarative Languages
Series Name: Lecture Notes In Computer Science
Volume: 4354
Place of Publication: Heidelberg/Berlin, Germany
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Technology
Event Title: Practical Aspects of Declarative Languages (PADL '07)
Date Deposited: 14 Sep 2009 07:10
Identification Number: doi:10.1007/978-3-540-69611-7_7
Export:

Optionen (nur für Redakteure)

View Item View Item