Difference between revisions of "The Maude System"
From The Maude System
Maudesystem (Talk | contribs) (→Maude-related Tools) |
|||
| (19 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
| − | |||
| − | + | == General Maude Information == | |
| − | == | + | * [[Maude Overview]] |
| − | * [ | + | * [[The Maude Project and Team]] |
| − | * [// | + | * [[Rewriting Logic]] |
| − | * [ | + | * [[Maude Mailing Lists|Mailing Lists]] |
| − | * [// | + | |
| + | == Maude Documentation == | ||
| + | |||
| + | * [[Maude Manual and Examples|Maude Manual and Examples]] | ||
| + | * [http://maude.cs.illinois.edu/papers/ Some Papers on Maude and on Rewriting Logic] | ||
| + | * [[Roadmap and Bibliography]] | ||
| + | * [[Some Talks on Maude and on Rewriting Logic]] | ||
| + | * [[Maude 2 Primer and Examples|Maude Primer and Examples (not maintained)]] | ||
| + | |||
| + | == Maude-related Tools == | ||
| + | * [[Maude Tools]] | ||
| + | |||
| + | == Obtaining and Using Maude == | ||
| + | |||
| + | * [[Maude download and installation|Download latest version of Maude 2]] | ||
| + | * [[Maude License Agreement|Maude 2 License]] | ||
| + | * [[All Maude 2 versions|All Maude 2 versions]] | ||
| + | * [http://maude.cs.uiuc.edu/maude1/ Looking for Maude 1?] | ||
Revision as of 11:00, 13 May 2015
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)
