TY  - RPRT
AU  - Rubio Cuéllar, Rubén Rafael
AU  - Martí Oliet, Narciso
AU  - Pita Andreu, María Isabel
AU  - Verdejo López, José Alberto
PY  - 2021
UR  - https://hdl.handle.net/20.500.14352/5766
AB  - 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.
LA  - eng
KW  - Rewriting strategies
KW  - Maude
KW  - Language semantics
TI  - The semantics of the Maude strategy language
T2  - Las semánticas del lenguaje de estrategias de Maude
TY  - technical report
ER  -