| Steven Eker 2005-12-13, 7:03 pm |
| 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
|