𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The rewriting logic semantics project

✍ Scribed by José Meseguer; Grigore Roşu

Book ID
108281275
Publisher
Elsevier Science
Year
2007
Tongue
English
Weight
625 KB
Volume
373
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Semantics, Modularity, and Rewriting Log
Semantics, Modularity, and Rewriting Logic
✍ Peter D. Mosses 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 872 KB

A complete formal semantic description of a practical programming language (such as Java) is likely to be a lengthy document, regardless of which semantic framework is being used. Good modularity of the description is important to the person(s) developing it, to facilitate reuse, change, and extensi

CCS Semantics via Proved Transition Syst
CCS Semantics via Proved Transition Systems and Rewriting Logic
✍ Georgia Carabetta; Pierpaolo Degano; Fabio Gadducci 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 959 KB

We consider (a slight v ariant of) the ccs calculus, and we analyze two operational semantics de ned in the literature: the rst exploits Proved Transition Systems (pts) and the second Rewriting Logic (rl). We s h o w that the interleaving interpretation of both semantics agree, in that they de ne th

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