𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Modular Rewriting Semantics in Practice

✍ Scribed by Christiano Braga; José Meseguer

Book ID
108126382
Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
417 KB
Volume
117
Category
Article
ISSN
1571-0661

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

Modularity in Denotational Semantics
Modularity in Denotational Semantics
✍ John Power 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 758 KB

We consider a modular approach to denotational semantics. We reformulate and extend the idea of monads as notions of computation to algebraic structure together with a construction of an extended semantic category. We show that upon making that reformulation, one can obtain some account of modularit

On the Modularity of Normal Forms in Rew
On the Modularity of Normal Forms in Rewriting
✍ MASSIMO MARCHIORI 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 522 KB

The last open problem regarding the modularity of the fundamental properties of Term Rewriting Systems concerns the property of uniqueness of normal forms w.r.t. reduction (UN → ). In this article we solve this open problem, showing that UN → is modular for leftlinear Term Rewriting Systems. The nov