Difference between revisions of "The Maude System"
From The Maude System
m (Reverted edits by Kquine (talk) to last revision by Maudesystem) |
m (Maude 3.3.1) |
||
| (46 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
| + | <!--[[File:Maude-logo.png|right|400px]]--> | ||
| + | [[File:streets-cross.png|right|400px|thumb|link=https://www.google.com/maps/@37.392819,-122.0391638,3a,15y,246.71h,88.08t/data=!3m6!1e1!3m4!1sJ2um6VisMqkDoFT4Lpyd7A!2e0!7i16384!8i8192|[https://www.google.com/maps/@37.392819,-122.0391638,3a,15y,246.71h,88.08t/data=!3m6!1e1!3m4!1sJ2um6VisMqkDoFT4Lpyd7A!2e0!7i16384!8i8192 Streets cross at Sunnyvale, CA]]] | ||
== General Maude Information == | == General Maude Information == | ||
| − | |||
* [[Maude Overview]] | * [[Maude Overview]] | ||
* [[The Maude Project and Team]] | * [[The Maude Project and Team]] | ||
* [[Rewriting Logic]] | * [[Rewriting Logic]] | ||
| − | * [[Maude Mailing Lists|Mailing Lists]] | + | * [[Maude Mailing Addresses and Lists|Bug Reports and Mailing Lists]] |
== Maude Documentation == | == Maude Documentation == | ||
| − | * [[Maude | + | * [[Maude Manual and Examples|Maude Manual and Examples]] |
| − | * [[Maude | + | * [[Some Papers on Maude and on Rewriting Logic|Some Papers on Maude and on Rewriting Logic]] |
| − | * [ | + | <!-- * [http://maude.cs.illinois.edu/papers/ Some Papers on Maude and on Rewriting Logic] --> |
| − | * [[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-related Tools and Applications== | ||
* [[Maude Tools]] | * [[Maude Tools]] | ||
| − | * [[ | + | * [[Applications]] |
== Obtaining and Using Maude == | == Obtaining and Using Maude == | ||
| − | * [[Maude download and installation| | + | * [[Maude download and installation|Maude download and installation (Maude 3.3.1)]] |
| − | * [[Maude License Agreement|Maude | + | * [[Maude License Agreement|Maude 3 License]] |
| − | * [[All Maude | + | * [[All Maude 3 versions|All Maude 3 versions]] |
| − | * [[Maude | + | * [[All Maude 2 versions|All Maude 2 versions]] |
| + | * [http://maude.cs.uiuc.edu/maude1/ Looking for Maude 1?] | ||
