Sharing Revisited

Although the usual goal of sharing analysis is to detect which pairs of variables share, the standard choice for sharing analysis is a domain that characterizes setsharing. In this paper, we question, apparently for the first time, whether this domain is over-complex for pair-sharing analysis. We show that the answer is yes. By defining an equivalence relation over the set-sharing domain we obtain a simpler reducing the complexity of the abstract unification procedure. We present preliminary experimental results, showing that, in practice, our domain compares favorably with the set-sharing one over a wide range of benchmark programs.

• Type: Conference
• Year: 1997
• Where: AGP
• Authors: Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
• Keywords: Abstract Unification Procedure, AGP 1997, Artificial Intelligence, Usual Goal, first Time