The Maude System
maude.cs.uiuc.eduMaude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational problems.
Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational problems.