Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis.

Agostino Cortesi, Gilberto Fil

Browse the full PEPM paper archive.