The Maude System

The Maude System
All Links

Share this:

Details of The Maude System

About The Maude System
The Maude System- Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational problems.
Leda