✦ LIBER ✦

Functional semantics of programs with exceptions

✍ Scribed by Jean-Chrysostome Bolot; Pankaj Jalote

Book ID: 113230378
Publisher: Elsevier Science
Year: 1990
Tongue: English
Weight: 964 KB
Volume: 15
Category: Article
ISSN: 0096-0551
DOI: 10.1016/0096-0551(90)90023-i

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Semantics of Untyped Functional Programs

✍ S. A. Nigiyan; S. A. Avetisyan 📂 Article 📅 2002 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 89 KB

Logic programs with exceptions

✍ Robert A. Kowalski; Fariba Sadri 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 590 KB

Towards a declarative semantics of inher

Towards a declarative semantics of inheritance with exceptions

✍ Dianxiang Xu; Guoliang Zheng 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 605 KB

On basic semantics of untyped functional

On basic semantics of untyped functional programs

✍ G. G. Hrachyan 📂 Article 📅 2009 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 334 KB

Exception handlers in functional program

Exception handlers in functional programming languages

✍ Govindarajan, R. 📂 Article 📅 1993 🏛 IEEE 🌐 English ⚖ 882 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