Agostino Cortesi, Gilberto Filé. Comparison and design of abstract domains for sharing analysis. In Domenico Saccà , editor, 8th Italian Conference on Logic Programming, GULP 93, Gizzeria, Italy, June 15-18, 1993. pages 251-266, 1993.
Abstract is missing.