© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Abstracting Builtins for Groundness Analysis
A. Heaton and A. King
Technical Report 3-00, University of Kent at Canterbury, Computing Laboratory, January 2000.Abstract
This note clarifies how to handle solution gathering meta-calls, asserts and retracts in the groundness analysis of Prolog.
Download publication 139 kbytes (PostScript)Bibtex Record
@techreport{957,
author = {A. Heaton and A. King},
title = {Abstracting {B}uiltins for {G}roundness {A}nalysis},
month = {January},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/957},
address = {Computing Laboratory},
institution = {University of Kent at Canterbury},
number = {3-00},
publication_type = {techreport},
submission_id = {21440_948296301},
}