School of Computing

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},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014