1 search results - page 1 / 1 » Safe Folding Unfolding with Conditional Narrowing |
AGP
1997
IEEE
13 years 9 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 ...