A backtracking execution model for the RICE compiler is defined, with a soundness proof for first-order fully applied programs, but the claimed completeness for terminating programs is not proven.
Antoy (1997): Optimal Non-deterministic Functional Logic Computations
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.PL 1years
2025 1verdicts
REJECT 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
An Execution Model for RICE
A backtracking execution model for the RICE compiler is defined, with a soundness proof for first-order fully applied programs, but the claimed completeness for terminating programs is not proven.