Work

Analysis of shared data structures for compile-time garbage collection in logic programs

Year: 1990

Type: article

Abstract: One of the central problems in program analysis for compile-time garbage collection is detecting the sharing of term substructure that can occur during program execution. We present an abstract domain for representing possibly shared structures and an abstract unification operation based on this domain. When supplied to an abstract interpretation framework, this domain induces a powerful analysis of shared structures. We show that the analysis is sound by relating the abstract domain and operation to variants of the concrete domain and operation (substitutions with term unification) that are augmented with information about the term structures shared in actual implementations. We show these instrumented versions of the concrete domain and operation characterize the takes place in standard implementations. 22 refs., 3 figs.

Source: OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)

Authors: Mulkers, Anne, Winsborough, William H., Bruynooghe, Maurice

Institution: Argonne National Laboratory

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: U.S. Department of Energy, Division of Mathematical Sciences

OpenAlex ID: W1599575838

FWCI: 7.595

Cites:

Cited by: 31

Related to: 10