Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

Hi,

At the moment, my best advice is to skim through manual. We do have plans for 
a summer student to write a primer but that won't be ready until fall.

Steven Eker

On Sunday 22 June 2003 08:56 pm, Ambarish Sridharanarayanan wrote:
> -------- 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: ...
>
> _______________________________________________
> Maude-help mailing list
> Maude-help AT maude.cs.uiuc.edu
> http://maude.cs.uiuc.edu/mailman/listinfo/maude-help