RT Report
T1 The semantics of the Maude strategy language
T2 Las semánticas del lenguaje de estrategias de Maude
A1 Rubio Cuéllar, Rubén Rafael
A1 Martí Oliet, Narciso
A1 Pita Andreu, María Isabel
A1 Verdejo López, José Alberto
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.
YR 2021
FD 2021
LK https://hdl.handle.net/20.500.14352/5766
UL https://hdl.handle.net/20.500.14352/5766
LA eng
NO Ministerio de Ciencia e Innovación (España)
NO Ministerio de Universidades (España)
DS Docta Complutense
RD 16 dic 2025