Maude (Computer program language)
URI(s)
Broader Terms
Closely Matching Concepts from Other Schemes
Sources
found: Work cat.: All about Maude : a high-performance logical framework : how to specify, program and verify systems in rewriting logic, 2007:back cover (... Maude, a language and system based on rewriting logic. Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. Maude is used in many institutions around the world ...)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
2007-10-15: new
2007-10-16: revised
Alternate Formats
