A Modular Rewriting Semantics for CML
| dc.creator | Chalub,Fabricio | |
| dc.creator | Braga,Christiano | |
| dc.date | 2004 | |
| dc.date.accessioned | 2024-02-06T12:53:08Z | |
| dc.date.available | 2024-02-06T12:53:08Z | |
| dc.description | This paper presents a modular rewriting semantics (MRS) specification for Reppy's Concurrent ML (CML), based on Peter Mosses' modular structural operational semantics specification for CML. A modular rewriting semantics specification for a programming language is a rewrite theory in rewriting logic written using techniques that support the modular development of the specification in the precise sense that every module extension is conservative. We show that the MRS of CML can be used to interpret CML programs using the rewrite engine of the Maude system, a high-performance implementation of rewriting logic, and to verify CML programs using Maude's built-in LTL model checker. It is assumed that the reader is familiar with basic concepts of structural operational semantics and algebraic specifications. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-010-07-0789 | |
| dc.identifier | https://lib.jucs.org/article/28258/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/8591 | |
| dc.language | en | |
| dc.publisher | Journal of Universal Computer Science | |
| dc.relation | info:eu-repo/semantics/altIdentifier/eissn/0948-6968 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/pissn/0948-695X | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | J.UCS License | |
| dc.source | JUCS - Journal of Universal Computer Science 10(7): 789-807 | |
| dc.subject | rewriting logic | |
| dc.subject | semantics of programming languages | |
| dc.subject | modularity | |
| dc.subject | Concurrent ML | |
| dc.title | A Modular Rewriting Semantics for CML | |
| dc.type | Research Article |