© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Appendix for RedAlert: Determinacy Inference for Prolog
Jael Kriener and Andy King
Technical Report 1-11, University of Kent, Canterbury, CT1 7NF, UK, May 2011 Refereed by ICLP 2011 reviewers.Abstract
Proofs of the mathematical foundations and propositions and theorems stated and used in our paper in the TPLP Special Issue on ICLP 2011.
Download publication 290 kbytes (PDF)
Bibtex Record
@techreport{3107,
author = {Jael Kriener and Andy King},
title = {Appendix for {R}ed{A}lert: {D}eterminacy {I}nference for {P}rolog},
month = {May},
year = {2011},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Refereed by ICLP 2011 reviewers},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2011/3107},
publication_type = {techreport},
submission_id = {14507_1304493342},
institution = {University of Kent},
type = {Technical Report},
number = {1-11},
address = {Canterbury, CT1 7NF, UK},
}