[Maude-users] Maude 2.2 release

[Steven Eker]

                      Release of Maude 2.2

Maude is a high-performance multiparadigm language based on rewriting logic,
and contains a functional sublanguage based on equational logic.  It can be
used for both programming and executable system specification in a variety of
areas such as distributed and mobile systems and communication protocols, and
functional applications.  Thanks to its reflective features it can be used as
a metalanguage and is easily extensible with powerful module composition
operations as those supported in its Full Maude extension.  It can also be
used as a semantic framework to specify and prototype different languages,
concurrency calculi, and SOS specifications; and as a logical framework to
represent and mechanize different logics and proving tools.

Maude 2.2 is now available, under the GNU GPL from the Maude web page:
http://maude.cs.uiuc.edu

New features since 2.1.1
=========================
* Core Maude support for parameterized modules
* Predefined container data types such as SET and ARRAY.
* Counters for implicit state
* Random number generation
* External object support; internet sockets
* Builtin linear Diophantine equation solver

Other improvements
===================
* Overparsing recovers gracefully from additional common mistakes
* More descent functions; some existing descent functions generalized
* More command line options