1 January 1991

The journal article “Abstract interpretation of logic programs: An abstract domain for groundness, sharing, freeness and compoundness analysis”, by Cortesi, A., Filé, G., has just been published in “ACM SIGPLAN Notices”! Available here.