id: 05939282
dt: j
an: 05939282
au: Kriener, Jael; King, Andy
ti: RedAlert: Determinacy inference for Prolog.
so: Theory Pract. Log. Program. 11, No. 4-5, 537-553 (2011).
py: 2011
pu: Cambridge University Press, Cambridge
la: EN
cc: 
ut: abstract interpretation; backwards analysis; Boolean formulae; constraints;
    cut; determinacy inference; Prolog
ci: 
li: doi:10.1017/S1471068411000160
ab: Summary: 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 the existing
    techniques, while 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.
rv: