Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational problems.
The Maude System
The Maude System
2024-06-29
Computers, Programming, Languages, Logic-based - The Maude System. Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational problems.