The Maude system is an implementation of rewriting logic developed at SRI International. It is similar in its general approach to Joseph Goguen's OBJ3 implementation of equational logic, but based on rewriting logic rather than , and with a heavy emphasis on powerful metaprogramming based on reflection. Maude is free software, and tutorials are available online.
|is dbo:wikiPageDisambiguates of|
|is dbo:wikiPageWikiLink of|
|is foaf:primaryTopic of|