Maude
by earl, 6409 days ago
"Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications."- http://maude.cs.uiuc.edu/
search
70 active users
- unknown (70)
backlinks (more)
none, yet
recent stores (more)
echo earlZstrainYat|tr ZY @.
