Aliasing and Groundness Analysis of Logic Programs through Abstract
Interpretation and its Safety

W. Hans, St. Winkler

	   This paper describes a safe method, which derives
	   aliasing and groundness properties of logic programs (with
	   equality). The abstract domain bases on the one proposed by
	   Jacobs and Langen, which has the advantage of great potential
	   precision and supports the simple computation through abstract
	   interpretation. The abstract execution follows the framework
	   suggested by Bruynooghe determining useful information for all
	   points within the program. The abstract operations as well as
	   the embedding in this framework are formulated in a precise
	   manner and are proven correct; the latter is the crucial
	   topic here. In addition, several refinements are examined.