Work

Towards an Application of Update Propagation on Logic Programs Representing Java Source Code

Year: 2013

Type: preprint

Abstract: Logic programs are now used as a representation of object-oriented source code in academic prototypes for about a decade. This representation allows a clear and concise implementation of analyses of the object-oriented source code. The full potential of this approach is far from being explored. In this paper, we report about an application of the well-established theory of update propagation within logic programs. Given the representation of the object-oriented code as facts in a logic program, a change to the code corresponds to an update of these facts. We demonstrate how update propagation provides a generic way to generate incremental versions of such analyses.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.1301.2443

Authors: Tantius, Richard, Speicher, Daniel, Behrend, Andreas

Institution: University of Bonn

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1597435133

Cites: 12

Cited by:

Related to: 10