© University of Kent - Contact | Feedback | Legal | Cookies
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
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 = {21},
keywords = {logic programming, static analysis, determinacy inference},
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},
}