✦ LIBER ✦

Evaluation Strategies for Functional Logic Programming

✍ Scribed by Sergio Antoy

Book ID: 108498209
Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 312 KB
Volume: 57
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00265-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Cost-Augmented Partial Evaluation of Fun

Cost-Augmented Partial Evaluation of Functional Logic Programs

✍ Germán Vidal 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 257 KB

A residualizing semantics for the partia

A residualizing semantics for the partial evaluation of functional logic programs

✍ Elvira Albert; Michael Hanus; Germán Vidal 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 103 KB

Recent proposals for multi-paradigm declarative programming combine the most important features of functional, logic and concurrent programming into a single framework. The operational semantics of these languages is usually based on a combination of narrowing and residuation. In this paper, we intr

Failure and Equality in Functional Logic

Failure and Equality in Functional Logic Programming

✍ F.J. López-Fraguas; J. Sánchez-Hernández 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 252 KB

A new generic scheme for functional logi

A new generic scheme for functional logic programming with constraints

✍ Francisco J. López Fraguas; Mario Rodríguez Artalejo; Rafael del Vado Vírseda 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 744 KB

Analysis of program logic test strategie

Analysis of program logic test strategies

✍ V. V. Lipaev; B. A. Pozin; S. A. Blau 📂 Article 📅 1982 🏛 Springer US 🌐 English ⚖ 614 KB

Tableaux for logic programming

✍ Melvin Fitting 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 1016 KB