Skip to main content

RedAlert: Determinacy Inference for Prolog

Kriener, Jael, King, Andy (2011) RedAlert: Determinacy Inference for Prolog. In: 27th International Conference on Logic Programming, July 6-10, 2011, LEXINGTON, KENTUCKY, USA. (KAR id:37621)

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: Conference or workshop item (Paper)
Subjects: A General Works
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Andy King
Date Deposited: 13 Dec 2013 15:14 UTC
Last Modified: 15 Feb 2020 04:05 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/37621 (The current URI for this page, for reference purposes)
King, Andy: https://orcid.org/0000-0001-5806-4822
  • Depositors only (login required):

Downloads

Downloads per month over past year