TY  - CPAPER
AU  - Rubio Cuéllar, Rubén Rafael
A2  - Bae, Kyungmin
PY  - 2022
DO  - 10.1007/978-3-031-12441-9_4
UR  - https://hdl.handle.net/20.500.14352/105013
AB  - In the Maude specification language, the behavior of systems is modeled by nondeterministic rewrite rules, whose free application may not always be desirable. Hence, a strategy language has been introduced to control the application of rules at a high...
LA  - eng
M2  - 65
KW  - Maude
KW  - Strategy language
KW  - Rewriting logic
TI  - An overview of the Maude strategy language and its applications
TY  - conference paper
ER  -