𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Operational Semantics for Functional Logic Languages

✍ Scribed by Elvira Albert; Michael Hanus; Frank Huch; Javier Oliver; Germán Vidal

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
209 KB
Volume
76
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algebraic and logical semantics for CLP
Algebraic and logical semantics for CLP languages with dynamic scheduling
✍ Kim Marriott 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 760 KB

The first logic programming languages, such as Prolog, used a fixed left-to-right atom scheduling rule. Unfortunately, this meant that programs written in a clean, declarative style were often very inefficient, only terminated when certain inputs were fully instantiated or "ground," and (if negation

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