./lang/maude, System for equational and rewriting logic specification/programming

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: pkgsrc-2009Q1, Version: 2.3, Package name: maude-2.3, Maintainer: kristerw

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


Required to run:
[devel/buddy] [devel/libtecla] [devel/gmp]

Required to build:
[devel/bison]

Master sites: (Expand)

SHA1: 68fbe7f76db1a5a5bb748cb751c5015d60c476d0
RMD160: 8c6b67d257468b4910631f4d6d0f2c3a0ff8d995
Filesize: 1407.46 KB

Version history: (Expand)