Skip to main content
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 2
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Gras, Daniel Cabeza and Hermenegildo, Manuel V. 2009. Non-strict independence-based program parallelization using sharing and freeness information. Theoretical Computer Science, Vol. 410, Issue. 46, p. 4704.

    Bagnara, Roberto Gori, Roberta Hill, Patricia M. and Zaffanella, Enea 2004. Finite-tree analysis for constraint logic-based languages. Information and Computation, Vol. 193, Issue. 2, p. 84.

  • Theory and Practice of Logic Programming, Volume 2, Issue 2
  • March 2002, pp. 155-201

Soundness, idempotence and commutativity of set-sharing

  • DOI:
  • Published online: 01 March 2002

It is important that practical data-flow analyzers are backed by reliably proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic properties for an abstract domain to be well-defined and sound with respect to the concrete semantics. In logic programming, the abstract domain Sharing is a standard choice for sharing analysis for both practical work and further theoretical study. In spite of this, we found that there were no satisfactory proofs for the key properties of commutativity and idempotence that are essential for Sharing to be well-defined and that published statements of the soundness of Sharing assume the occurs-check. This paper provides a generalization of the abstraction function for Sharing that can be applied to any language, with or without the occurs-check. Results for soundness, idempotence and commutativity for abstract unification using this abstraction function are proven.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *