Maude System
Program-Transformation.Org: The Program Transformation Wiki
Homepage: http://maude.csl.sri.com/
Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications.
CategorySystem | -- EelcoVisser - 25 May 2001