The semantics of the Maude strategy language
The syntax and three equivalent semantics of the Maude strategy language: a set-theoretic denotational semantics, a nondeterministic small-step operational semantics, and an operational rewriting semantics. The proofs of their equivalence are included.
| Autores: | , , , |
|---|---|
| Tipo de recurso: | informe técnico |
| Fecha de publicación: | 2021 |
| País: | España |
| Institución: | Universidad Complutense de Madrid (UCM) |
| Repositorio: | Docta Complutense |
| Idioma: | inglés |
| OAI Identifier: | oai:docta.ucm.es:20.500.14352/5766 |
| Acceso en línea: | https://hdl.handle.net/20.500.14352/5766 |
| Access Level: | acceso abierto |
| Palabra clave: | 004.4 Rewriting strategies Maude Language semantics Lenguajes de programación Software 1203.23 Lenguajes de Programación 3304.16 Diseño Lógico |
| Sumario: | The syntax and three equivalent semantics of the Maude strategy language: a set-theoretic denotational semantics, a nondeterministic small-step operational semantics, and an operational rewriting semantics. The proofs of their equivalence are included. |
|---|