RedAlert: Determinacy Inference for Prolog

Kriener, Jael and King, Andy (2011) RedAlert: Determinacy Inference for Prolog. Theory and Practice of Logic Programming, 11 (4-5). pp. 182-196. (Full text available)

PDF - Accepted Version
Download (241kB) Preview
[img]
Preview
Official URL
http://www.cs.kent.ac.uk/pubs/2011/3108

Abstract

This paper revisits the problem of determinacy inference addressing the problem of how to uniformly handle cut. To this end a new semantics is introduced for cut, which is abstracted to systematically derive a backward analysis that derives conditions sufficient for a goal to succeed at most once. The method is conceptionally simpler and easier to implement than existing techniques, whilst improving the latter's handling of cut. Formal arguments substantiate correctness and experimental work, and a tool called 'RedAlert' demonstrates the method's generality and applicability.

Item Type: Article
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: 16 Dec 2013 12:43
Resource URI: http://kar.kent.ac.uk/id/eprint/30748 (The current URI for this page, for reference purposes)
ORCiD (Kriener, Jael):
ORCiD (King, Andy):
  • Depositors only (login required):

Downloads

Downloads per month over past year