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)


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: (The current URI for this page, for reference purposes)
King, Andy:
  • Depositors only (login required):


Downloads per month over past year