• DOI:10.1016/S0304-3975(01)00359-0
Corpus ID: 8798188

Maude: specification and programming in rewriting logic

@article{Clavel2002MaudeSA,
  title={Maude: specification and programming in rewriting logic},
  author={Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and Patrick Lincoln and Narciso Mart{\'i}-Oliet and Jos{\'e} Meseguer and Jose F. Quesada},
  journal={Theor. Comput. Sci.},
  year={2002},
  volume={285},
  pages={187-243}
}

Manuel Clavel, Francisco Durán, +4 authors Jose F. Quesada

Published in Theor. Comput. Sci. 2002

Computer Science

Maude is a high-level language and a high-performance system supporting executable specification and declarative programming in rewriting logic. Since rewriting logic contains equational logic, Maude also supports equational specification and programming in its sublanguage of functional modules and theories. The underlying equational logic chosen for Maude is membership equational logic, that has sorts, subsorts, operator overloading, and partiality definable by membership and equality… CONTINUE READING

View via Publisher

doi.org

Save to Library

Create Alert

Cite

Launch Research Feed