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