Maude-help mailing list

["Ambarish Sridharanarayanan" <srdhrnry AT uiuc.edu>]

-------- Original Message --------
Subject: Re: Release of Maude 2.0
From: Paul Hudak 
<paul.hudak AT yale.edu>
Date: Fri, June 20, 2003 10:09
To: Ambarish Sridharanarayanan 
<srdhrnry AT uiuc.edu>

I'd like to learn something about Maude, but from your webpage it seems
that my choices are to read a 250-page manual or read research papers
about rewriting logic.  Is there something I can read -- say 20 pages or
so -- that describes the language with simple examples, etc?

Thanks,

  -Paul Hudak

Ambarish Sridharanarayanan wrote:
>                        Release of Maude 2.0
>
> 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.0 is now available, free of charge, from the Maude web page:
>
> http://maude.cs.uiuc.edu
>
> which also contains a Maude 2.0 manual, various papers on Maude, and a
> collection of examples.  Some new features in the Maude 2.0 version
> include: ...