✦ LIBER ✦

Cost-Augmented Partial Evaluation of Functional Logic Programs

✍ Scribed by Germán Vidal

Book ID: 111597627
Publisher: Springer
Year: 2004
Tongue: English
Weight: 257 KB
Volume: 17
Category: Article
ISSN: 1388-3690
DOI: 10.1023/b:lisp.0000029447.02190.42

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Evaluation Strategies for Functional Log

Evaluation Strategies for Functional Logic Programming

✍ Sergio Antoy 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 312 KB

Declarative Debugging of Functional Logi

Declarative Debugging of Functional Logic Programs

✍ M. Alpuente; F.J. Correa; M. Falaschi 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 477 KB

A Two-Valued Logic for Properties of Str

A Two-Valued Logic for Properties of Strict Functional Programs Allowing Partial Functions

✍ David Sabel, Manfred Schmidt-Schauß 📂 Article 📅 2012 🏛 Springer Netherlands 🌐 English ⚖ 946 KB

Associative concurrent evaluation of log

Associative concurrent evaluation of logic programs

✍ Katsuhiko Nakamura 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 655 KB

Derivation of logic programs by function

Derivation of logic programs by functional methods

✍ A. Bijlsma 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 661 KB