1 search results - page 1 / 1 » Safe Folding Unfolding with Conditional Narrowing |
137
click to vote
AGP
1997
IEEE
15 years 7 months ago
1997
IEEE
Abstract. Functional logic languages with a complete operational semantics are based on narrowing, a generalization of term rewriting where unification replaces matching. In this ...