maude: maude (high-performance reflective language) maude: maude: Maude is a high-performance reflective language and system maude: supporting both equational and rewriting logic specification maude: and programming for a wide range of applications. maude: maude: http://maude.cs.illinois.edu/w/index.php?title=The_Maude_System maude: maude: maude: maude: