This paper gives an overview of the Maude 2.0 system. We emphasize the full generality with which rewriting logic and membership
equational logic are supported, operational semantics issues, the new built-in modules, the more general Full Maude modulealgebra, the new META-LEVEL module, the LTL model checker, and new implementation techniques yielding substantial performance improvements in rewritingmodulo. We also comment on Maude’s formal tool environment and on applications.
%0 Conference Paper
%1 ClavelDuEk03
%A Clavel, Manuel
%A Durán, Francisco
%A Eker, Steven
%A Lincoln, Patrick
%A Martí-Oliet, Narciso
%A Meseguer, José
%A Talcott, Carolyn
%B Rewriting Techniques and Applications (RTA'03)
%D 2003
%E Nieuwenhuis, R.
%I Springer-Verlag
%K algebraic_specification programming programming_language specification term_rewriting
%P 76--87
%T The Maude 2.0 System
%U http://dx.doi.org/10.1007/3-540-44881-0_7
%V 2706
%X This paper gives an overview of the Maude 2.0 system. We emphasize the full generality with which rewriting logic and membership
equational logic are supported, operational semantics issues, the new built-in modules, the more general Full Maude modulealgebra, the new META-LEVEL module, the LTL model checker, and new implementation techniques yielding substantial performance improvements in rewritingmodulo. We also comment on Maude’s formal tool environment and on applications.
@inproceedings{ClavelDuEk03,
abstract = {This paper gives an overview of the Maude 2.0 system. We emphasize the full generality with which rewriting logic and membership
equational logic are supported, operational semantics issues, the new built-in modules, the more general Full Maude modulealgebra, the new META-LEVEL module, the LTL model checker, and new implementation techniques yielding substantial performance improvements in rewritingmodulo. We also comment on Maude’s formal tool environment and on applications.},
added-at = {2008-12-16T06:08:07.000+0100},
author = {Clavel, Manuel and Dur\'{a}n, Francisco and Eker, Steven and Lincoln, Patrick and Mart\'{i}-Oliet, Narciso and Meseguer, Jos\'{e} and Talcott, Carolyn},
biburl = {https://www.bibsonomy.org/bibtex/2435763a50d83cbbd784fab009e4258f6/emanuel},
booktitle = {Rewriting Techniques and Applications ({RTA'03})},
editor = {Nieuwenhuis, R.},
interhash = {c8710e07a8006e211eddff390b460888},
intrahash = {435763a50d83cbbd784fab009e4258f6},
keywords = {algebraic_specification programming programming_language specification term_rewriting},
pages = {76--87},
publisher = {Springer-Verlag},
series = {LNCS},
timestamp = {2008-12-16T06:08:07.000+0100},
title = {The Maude 2.0 System},
url = {http://dx.doi.org/10.1007/3-540-44881-0_7},
volume = 2706,
year = 2003
}