We face the problem of devising optimal unification operators for sharing and linearity analysis of logic programs by abstract interpretation. We propose a new (infinite) domain ShLin^ω which can be thought of as a general framework from which other domains can be easily derived by abstraction. The advantage is that ShLin^ω is endowed with very elegant and optimal abstract operators for unification and matching, based on a new concept of sharing graph which plays the same role of alternating paths for pair sharing analysis. We also provide an alternative, purely algebraic description of sharing graphs. Starting from the results for ShLin^ω, we derive optimal abstract operators for two well-known domains which combine sharing and linearity: ShLin by Andy King and the classic Sharing X Lin.

A general framework for variable aliasing: Towards optimal operators for sharing properties

AMATO, Gianluca;SCOZZARI, Francesca
2003-01-01

Abstract

We face the problem of devising optimal unification operators for sharing and linearity analysis of logic programs by abstract interpretation. We propose a new (infinite) domain ShLin^ω which can be thought of as a general framework from which other domains can be easily derived by abstraction. The advantage is that ShLin^ω is endowed with very elegant and optimal abstract operators for unification and matching, based on a new concept of sharing graph which plays the same role of alternating paths for pair sharing analysis. We also provide an alternative, purely algebraic description of sharing graphs. Starting from the results for ShLin^ω, we derive optimal abstract operators for two well-known domains which combine sharing and linearity: ShLin by Andy King and the classic Sharing X Lin.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11564/135143
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 2
social impact