Search
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 ...