𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Reflection in General Logics, Rewriting Logic, and Maude

✍ Scribed by Manuel Clavel

Publisher
Elsevier Science
Year
1998
Tongue
English
Weight
604 KB
Volume
15
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Reflection in Membership Equational Logi
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic
✍ 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

Tiling Transactions in Rewriting Logic
Tiling Transactions in Rewriting Logic
✍ Roberto Bruni; JosΓ© Meseguer; Ugo Montanari πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 313 KB
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

Discrete Event Systems in Rewriting Logi
Discrete Event Systems in Rewriting Logic
✍ Christopher Landauer πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 550 KB

In this note, we report on some work in progress on using rewriting logics for discrete event simulation. The idea is to combine the proofs in the logic with the observations in the simulations to gain a better understanding of the interaction intricacies that seem to occur in complex simulations. I