%0 Conference Proceedings
%T Parameterized Strategies Specification in Maude
%+ Universidad Complutense de Madrid =  Complutense University of Madrid  [Madrid] (UCM)
%A Rubio, Rubén
%A Martí-Oliet, Narciso
%A Pita, Isabel
%A Verdejo, Alberto
%Z Part 2: Survey Papers
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 24th International Workshop on Algebraic Development Techniques (WADT)
%C Egham, United Kingdom
%Y José Luiz Fiadeiro
%Y Ionuț Țuțu
%I Springer International Publishing
%3 Recent Trends in Algebraic Development Techniques
%V LNCS-11563
%P 27-44
%8 2018-07-02
%D 2018
%R 10.1007/978-3-030-23220-7_2
%K Rewriting logic
%K Strategies
%K Maude
%K Parameterized specification
%Z Computer Science [cs]Conference papers
%X Strategies and parameterization are two convenient tools for building clear and easily configurable specifications of complex computational systems, compositionally. Parameterization is a widely used feature of the Maude rewriting framework, whose strategy language implementation we have recently completed with strategy modules.This paper describes the Maude strategy language and the associated parameterization techniques. Then, the specification and analysis of some examples of strategy parameterized systems are shown.
%G English
%Z TC 1
%Z WG 1.3
%2 https://inria.hal.science/hal-02364577/document
%2 https://inria.hal.science/hal-02364577/file/486157_1_En_2_Chapter.pdf
%L hal-02364577
%U https://inria.hal.science/hal-02364577
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-WG1-3
%~ IFIP-WADT
%~ IFIP-LNCS-11563