Publication:
The semantics of the Maude strategy language

Thumbnail Image
Files
slang.pdf (359.58 KB)
Official URL
Full text at PDC
Publication Date
2021-08-30
Authors
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Citations
Google Scholar
Exportar
DC QDC MarcXML RDF MODS METS ORE-ATOM
Research Projects
Organizational Units
Journal Issue
Abstract
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.
Description
UCM subjects
Lenguajes de programación , Software
Unesco subjects
1203.23 Lenguajes de Programación , 3304.16 Diseño Lógico
Keywords
Citation
URI
https://hdl.handle.net/20.500.14352/5766
Collections
Documentos de trabajo e informes técnicos