Difference between revisions of "The Maude System"
From The Maude System
Line 14: | Line 14: | ||
<!-- * [[Roadmap and Bibliography]] --> | <!-- * [[Roadmap and Bibliography]] --> | ||
* [[Some Talks on Maude and on Rewriting Logic]] | * [[Some Talks on Maude and on Rewriting Logic]] | ||
− | * [[Maude 2 Primer and Examples|Maude Primer and Examples (not maintained)]] | + | <!-- * [[Maude 2 Primer and Examples|Maude Primer and Examples (not maintained)]] --> |
== Maude-related Tools and Applications== | == Maude-related Tools and Applications== |
Revision as of 21:48, 20 December 2020
Contents
General Maude Information
Maude Documentation
- Maude Manual and Examples
- Some Papers on Maude and on Rewriting Logic
- Some Talks on Maude and on Rewriting Logic