Hostname: page-component-78c5997874-94fs2 Total loading time: 0 Render date: 2024-11-17T23:19:20.176Z Has data issue: false hasContentIssue false

Enhanced sharing analysis techniques: a comprehensive evaluation

Published online by Cambridge University Press:  10 January 2005

ROBERTO BAGNARA
Affiliation:
Department of Mathematics, University of Parma, Parma, Italy (e-mail: [email protected], [email protected])
ENEA ZAFFANELLA
Affiliation:
Department of Mathematics, University of Parma, Parma, Italy (e-mail: [email protected], [email protected])
PATRICIA M. HILL
Affiliation:
School of Computing, University of Leeds, Leeds, UK (e-mail: [email protected])

Abstract

$\textup{\textsf{Sharing}}$, an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of techniques, such as the integration of $\textup{\textsf{Sharing}}$ with freeness and linearity information, can significantly improve the precision of the analysis. However, a number of other proposals for refined domain combinations have been circulating for years. One feature that is common to these proposals is that they do not seem to have undergone a thorough experimental evaluation even with respect to the expected precision gains. In this paper we experimentally evaluate: helping $\textup{\textsf{Sharing}}$ with the definitely ground variables found using $\textit{Pos}$, the domain of positive Boolean formulas; the incorporation of explicit structural information; a full implementation of the reduced product of $\textup{\textsf{Sharing}}$ and $\textit{Pos}$; the issue of reordering the bindings in the computation of the abstract $\mgu$; an original proposal for the addition of a new mode recording the set of variables that are deemed to be ground or free; a refined way of using linearity to improve the analysis; the recovery of hidden information in the combination of $\textup{\textsf{Sharing}}$ with freeness information. Finally, we discuss the issue of whether tracking compoundness allows the computation of more sharing information.

Type
Regular Papers
Copyright
© 2005 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)