Difference between revisions of "The Maude System"
From The Maude System
Line 1: | Line 1: | ||
+ | '''''Maude 3 is planned to be released in December 2019''''' | ||
== General Maude Information == | == General Maude Information == |
Revision as of 11:31, 24 October 2019
Maude 3 is planned to be released in December 2019
Contents
General Maude Information
Maude Documentation
- Maude Manual and Examples
- Some Papers on Maude and on Rewriting Logic
- Roadmap and Bibliography
- Some Talks on Maude and on Rewriting Logic
- Maude Primer and Examples (not maintained)