1 Maude is a high-performance reflective language and system supporting both
2 equational and rewriting logic specification and programming for a wide
4 Maude has been influenced in important ways by the OBJ3 language, which can
5 be regarded as an equational logic sublanguage.
6 Besides supporting equational specification and programming, Maude also
7 supports rewriting logic computation.