A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Maude: specification and programming in rewriting logic
2002
Theoretical Computer Science
Maude is a high-level language and a high-performance system supporting executable speciÿcation and declarative programming in rewriting logic. Since rewriting logic contains equational logic, Maude also supports equational speciÿcation 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 deÿnable by membership and equality conditions.
doi:10.1016/s0304-3975(01)00359-0
fatcat:qx6ctc4thbgghje2mqarzxjxdy