Difference between revisions of "The Maude System"
From The Maude System
m (Kquine moved page Main Page to The Maude System) |
|||
(52 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 == | |
+ | * [[Maude Overview]] | ||
+ | * [[The Maude Project and Team]] | ||
+ | * [[Rewriting Logic]] | ||
+ | * [[Maude Mailing Addresses and Lists|Bug Reports and Mailing Lists]] | ||
− | == | + | == Maude Documentation == |
− | * [ | + | |
− | * [ | + | * [[Maude Manual and Examples|Maude Manual and Examples]] |
− | * [ | + | * [[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]] --> | ||
+ | <!-- * [[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]] | ||
+ | * [[Applications]] | ||
+ | |||
+ | == Obtaining and Using Maude == | ||
+ | |||
+ | * [[Maude download and installation|Maude download and installation]] | ||
+ | * [[Maude License Agreement|Maude 3 License]] | ||
+ | * [[All Maude 3 versions|All Maude 3 versions]] | ||
+ | * [[All Maude 2 versions|All Maude 2 versions]] | ||
+ | * [http://maude.cs.uiuc.edu/maude1/ Looking for Maude 1?] |