𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Process Semantics for Functional Programming

✍ Scribed by Simon Brock; Gerald Ostheimer

Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
335 KB
Volume
2
Category
Article
ISSN
1571-0661

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

Skeleton-based parallel programming: Fun
Skeleton-based parallel programming: Functional and parallel semantics in a single shot
✍ Marco Aldinucci; Marco Danelutto πŸ“‚ Article πŸ“… 2007 πŸ› Elsevier Science 🌐 English βš– 783 KB

Semantics of skeleton-based parallel programming languages comes usually as two distinct items: a functional semantics, modeling the function computed by the skeleton program, and a parallel semantics describing the ways used to exploit parallelism during the execution of the skeleton program. The f

A kripke-kleene semantics for logic prog
A kripke-kleene semantics for logic programs*
✍ Melvin Fitting πŸ“‚ Article πŸ“… 1985 πŸ› Elsevier Science 🌐 English βš– 895 KB

We use a language L in which we have the propositional connectives A (and), V (or), and -i (not) as primitive. Alternatively we could take some as primitive and define others via the usual definitions, which work even in Kleene's three-valued logic. We also allow quantifiers V and 3, taking both as