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.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2025 1verdicts
REJECT 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.