Web Directory

    Top: Computers: Programming: Languages: Logic-based:

 

The Maude System

  Link Details for: The Maude System
Link Title: The Maude System Open in a new window
Link URL: http://maude.cs.uiuc.edu/
Link Details: Maude is a reflective language based on equational rewrite principles, useful for modeling and solving a wide range of computational problems.
Category: Top : Computers : Programming : Languages : Logic-based
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
The Maude System