Title: Abstracting unification: A key step in the design of logic program analyses
Other Titles: Computer Science Today, Recent Trends and Developments
Authors: Bruynooghe, Maurice ×
Codish, M
Mulkers, A #
Issue Date: 1995
Publisher: Springer
Series Title: Lecture notes in computer science vol:1000 pages:406-425
Abstract: This paper focuses on one of the key steps in the design of semantic based analyses for logic programs - the definition of an abstract unification algorithm for a given notion of data description. We survey some of the major notions of data descriptions proposed in the context of mode and sharing analyses. We demonstrate how a careful and systematic analysis of the underlying concrete unification algorithm contributes to the design of the abstract algorithm. Several relevant properties of concrete substitutions which influence the design of abstract domains and algorithms are described. We make use of a novel representation called abstract equation systems to uniformly represent a a wide range of data descriptions for such analyses proposed in the literature.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
11826.pdf Published 234KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science