𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Interpreting Abstract Interpretations in Membership Equational Logic

✍ Scribed by Bernd Fischer; Grigore Roşu


Book ID
108498217
Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
320 KB
Volume
59
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Reflection in Membership Equational Logi
✍ Manuel Clavel; José Meseguer; Miguel Palomino 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 254 KB

We show that the generalized variant of rewriting logic where the underlying equational specifications are membership equational theories, and where the rules are conditional and can have equations, memberships and rewrites in the conditions is reflective. We also show that membership equational log