lang/maude/DESCR

   1 Maude is a high-performance reflective language and system supporting both
   2 equational and rewriting logic specification and programming for a wide
   3 range of applications.
   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.