An algebraic approach to sharing analysis of logic programs

Michael Codish, Vitaly Lagoon, Francisco Bueno

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

7 Scopus citations


This paper describes an algebraic approach to the sharing analysis of logic programs based on an abstract domain of set logic programs. Set logic programs axe logic programs in which the terms axe sets of variables and unification is based on an associative, commutative, and idempotent equality theory. We show that the proposed domain is isomorphic to the set-sharing domain of Jacobs and Langen and argue that there axe good reasons to adopt our representation: (1) the abstract domain and the abstract operations defined are based on a theory for sets and set unification, resulting in a more intuitive approach to sharing analysis; (2) the abstract substitutions axe like substitutions and can be applied to (abstract) atoms. This facilitates program analyses performed as abstract compilation. Finally (3) our representation makes explicit the “domain” of interest of an abstract substitution - which solves some technical problems in defining the domain of Jacobs and Langen.

Original languageEnglish
Title of host publicationStatic Analysis - 4th International Symposium, SAS 1997
EditorsPascal Van Hentenryck
PublisherSpringer Verlag
Number of pages15
ISBN (Print)9783540634683
StatePublished - 1 Jan 1997
Event4th International Symposium on Static Analysis, SAS 1997 - Paris, France
Duration: 8 Sep 199710 Sep 1997

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1302 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference4th International Symposium on Static Analysis, SAS 1997

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'An algebraic approach to sharing analysis of logic programs'. Together they form a unique fingerprint.

Cite this