𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Polynomial approximations of the relational semantics of imperative programs

✍ Scribed by Michael A. Colón

Book ID
108261864
Publisher
Elsevier Science
Year
2007
Tongue
English
Weight
395 KB
Volume
64
Category
Article
ISSN
0167-6423

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The semantics of constraint logic progra
The semantics of constraint logic programs
✍ Joxan Jaffar; Michael Maher; Kim Marriott; Peter Stuckey 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 350 KB

The Constraint Logic Programming (CLP) Scheme was introduced by Jaar and Lassez. The scheme gave a formal framework, based on constraints, for the basic operational, logical and algebraic semantics of an extended class of logic programs. This paper presents for the ®rst time the semantic foundations