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

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


Branch: pkgsrc-2007Q3, Version: 2.1.1nb1, Package name: maude-2.1.1nb1, 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/gmp] [devel/libtecla] [devel/buddy]

Required to build:
[devel/bison]

Master sites: (Expand)

SHA1: 6433ab534970c65bfdde3ea67d1067ad1c7bd9e3
RMD160: 22793ee2c339a86e44e49dee56943c8b1099ee0b
Filesize: 1147.23 KB

Version history: (Expand)