𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Static and Dynamic Slicing of Constraint Logic Programs

✍ Scribed by Gyöngyi Szilágyi; Tibor Gyimóthy; Jan Małuszyński

Book ID
110320734
Publisher
Springer US
Year
2002
Tongue
English
Weight
469 KB
Volume
9
Category
Article
ISSN
0928-8910

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