Browsing Open Access Repositories by Subject "snondeterministic programming"
Now showing items 1-1 of 1
-
Lifting Transformations
(1991-12-01)Lifting is a well known technique in resolution theorem proving, logic programming, and term rewriting. In this paper we formulate lifting as an efficiency-motivated program transformation applicable to a wide variety ...