Hostname: page-component-745bb68f8f-lrblm Total loading time: 0 Render date: 2025-02-06T11:54:41.181Z 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: bagnara@cs.unipr.it, zaffanella@cs.unipr.it)
ENEA ZAFFANELLA
Affiliation:
Department of Mathematics, University of Parma, Parma, Italy (e-mail: bagnara@cs.unipr.it, zaffanella@cs.unipr.it)
PATRICIA M. HILL
Affiliation:
School of Computing, University of Leeds, Leeds, UK (e-mail: hill@comp.leeds.ac.uk)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

$\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