Rubio Cuéllar, Rubén RafaelMartí Oliet, NarcisoPita Andreu, IsabelVerdejo López, José Alberto2023-06-162023-06-162021-08-30https://hdl.handle.net/20.500.14352/5766The 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.engAtribución 3.0 EspañaThe semantics of the Maude strategy languageLas semánticas del lenguaje de estrategias de Maudetechnical reporthttp://maude.ucm.es/strategiesopen access004.4Rewriting strategiesMaudeLanguage semanticsLenguajes de programaciónSoftware1203.23 Lenguajes de Programación3304.16 Diseño Lógico