© University of Kent - Contact | Feedback | Legal | FOI | Cookies
RedAlert: Determinacy Inference for Prolog
Jael Kriener and Andy King
Theory and Practice of Logic Programming, 11(4-5):182-196, July 2011.Abstract
This paper revisits the problem of determinacy inference addressing the problem of how to uniformly handle (unknown variable cut)$. To this end a new semantics is introduced for (unknown variable cut)$, which is abstracted to systematically derive a backward analysis that derives conditions sufficient for a goal to succeed at most once. The method is conceptionally simpler and easier to implement than existing techniques, whilst improving the latter's handling of (unknown variable cut)$. Formal arguments substantiate correctness and experimental work, and a tool called 'RedAlert' demonstrates the method's generality and applicability.
Download publication 360 kbytes (PDF)Bibtex Record
@article{3108,
author = {Jael Kriener and Andy King},
title = {Red{A}lert: {D}eterminacy {I}nference for {P}rolog},
month = {July},
year = {2011},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2011/3108},
volume = {11},
number = {4-5},
publication_type = {article},
submission_id = {18724_1304501874},
journal = {Theory and Practice of Logic Programming},
publisher = {Cambridge University Press},
}