# Polyhedral Domains for Abstract Interpretation in Logic Programming

Benoy, Patricia Mary (2002) Polyhedral Domains for Abstract Interpretation in Logic Programming. Doctor of Philosophy (PhD) thesis, University of Kent, Canterbury.

PDF
 Preview
Postscript