Determinacy Inference for Prolog (appendix for conference submission)

Kriener, Jael and King, Andy (2011) Determinacy Inference for Prolog (appendix for conference submission). University of Kent, School of Computing, Canterbury, CT1 7NF, UK (Full text available)

PDF (Technical Report 11-1)
Download (297kB) Preview
[img]
Preview
Official URL
http://www.cs.kent.ac.uk/pubs/2011/3107

Abstract

Proofs of the mathematical foundations and propositions and theorems stated and used in our paper in the TPLP Special Issue on ICLP 2011.

Item Type: Research report (external)
Additional information: Refereed by ICLP 2011 reviewers
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Programming Languages and Systems Group
Depositing User: Andy King
Date Deposited: 21 Sep 2012 09:49
Last Modified: 12 Dec 2013 12:44
Resource URI: http://kar.kent.ac.uk/id/eprint/30760 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year