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.

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: 29 May 2019 11:41 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/37621 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year