Maude

[Tril]

http://maude.csl.sri.com

A rewriting logic, reflective language, says it is good for concurrent
object programming and representing other paradigms.

Reminder about the review list: There are only 5 subscribers to
review@tunes.org, so I cc:ed this to tunes@tunes.org.  If you want to
receive posts about new links or discussion of OSes and languages, sign up
for the Review list! 
http://www2.tunes.org/cgi-bin/list-control?list=review

David Manifold <dem@tunes.org>
This message is placed in the public domain.