RT Conference Proceedings
T1 An overview of the Maude strategy language and its applications
A1 Rubio Cuéllar, Rubén Rafael
A2 Bae, Kyungmin
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 level, without the intricacies of metaprogramming. In this paper, we give an overview of the Maude strategy language, its applications, related verification tools, and extensions, illustrated with examples.
YR 2022
FD 2022-07-29
LK https://hdl.handle.net/20.500.14352/105013
UL https://hdl.handle.net/20.500.14352/105013
LA eng
NO Agencia Estatal de Investigación
NO Ministerio de Universidades
DS Docta Complutense
RD 9 abr 2025