Loading...
Please wait, while we are loading the content...
Similar Documents
Lazy Narrowing and Needed Narrowing : A Comparison
| Content Provider | Semantic Scholar |
|---|---|
| Author | Alpuente, María Falaschi, Moreno Julián, Pascual Vidal, Germán |
| Copyright Year | 2002 |
| Abstract | Functional logic programming [8] allows us to integrate some of the best features of the classical declarative paradigms, namely functional and logic programming. The operational semantics of functional logic languages is usually based on narrowing, an evaluation mechanism which combines the reduction principle of functional languages and the resolution principle of logic languages. Lazy evaluation is a valuable feature of functional (logic) programming languages since it avoids unnecessary computations and allows us to deal with infinite data structures. Recently, Antoy et al. [4] introduced a lazy evaluation strategy for functional logic programs, called needed narrowing, which generalizes Huet and Lévy's [11] call by need reduction to deal with logical variables and unification in inductively sequential rewrite systems, where functions are defined in a way which is similar to case expressions. This paper investigates and clarifies the formal relation between needed narrowing and the (not so lazy) demand-driven narrowing strategy of [18]. We demonstrate the following results: |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://titan.inf-cr.uclm.es/www/pjulian/publications/WFLP02/wflp02.pdf |
| Alternate Webpage(s) | http://www.inf-cr.uclm.es/www/pjulian/publications/WFLP02/wflp02.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
