𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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

✍ Scribed by David Sabel, Manfred Schmidt-Schauß

Book ID
120672855
Publisher
Springer Netherlands
Year
2012
Tongue
English
Weight
946 KB
Volume
50
Category
Article
ISSN
0168-7433

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