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

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

Branch: pkgsrc-2014Q3, Version: 2.6, Package name: maude-2.6, 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] [devel/libsigsegv]

Master sites: (Expand)

SHA1: 3f1ec2f39a22942bb096102d1d8d6eed4510483e
RMD160: a9387701016e04ba4a256c3db8c9f10195147183
Filesize: 1562.525 KB

Version history: (Expand)