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

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

Branch: pkgsrc-2011Q1, Version: 2.4, Package name: maude-2.4, 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.

Master sites: (Expand)

SHA1: fe6c11a9ba370175eb477aad4042f2f0ef8cce7e
RMD160: dae6357386cb4f4a683fd23aa32580f29a013f82
Filesize: 1492.94 KB

Version history: (Expand)