Maude Manual (Revised March 8, 1999) Maude Manual Examples |
The Maude Manual (system documentation) is available on-line,
and the examples in it, which are included in
the distribution package, are also available in
ascii format. You can also download the manual in the following compressed
versions.
The following are the examples, in ascii format, in
the manual.
-
Core Maude examples:
-
binary.maude
(naturals in binary representation, Section 2.7)
-
duplicate-ten.maude
(persistent store example using LOOP-MODE, Section 2.8)
-
duplicate.maude
(input/output example using LOOP-MODE, Section 2.8)
-
meta-interpreter.maude
(meta-interpreter using strategies, Section 2.6.2)
-
mini-maude.maude
(meta-parsing example, Section 2.7.6)
-
nd-int.maude
(nondeterministic integers, Section 2.2)
-
nim-strategy.maude
(game of Nim, Section 2.6.1)
-
number-hierarchy.maude
(number hierarchy, Section 2.3)
-
numbers.maude
(natural numbers and natural numbers modulo 3, Section 2.1)
-
path.maude
(path example, Section 2.1)
-
petri-net.maude
(Petri net example, Section 2.2)
-
set-hierarchy.maude
(set hierarchy example, Section 2.1)
-
sieve.maude
(Eratosthenes sieve, Section 2.1.3)
-
sorting-strategy.maude
(strategy for sorting arrays of numbers, Section 2.6)
-
sorting.maude
(sorting of arrays, Section 2.2)
-
strategy.maude
(strategy language example, Section 2.6)
-
Full Maude examples:
-
accnt.fm;
(banking accounts, Section 3.1)
-
interoperability.fm
(software architecture interoperation example, Appendix E)
-
max.fm
(maximum of a list of integers, Section 3.4)
-
meta-meta-nat.fm
(up/down example, Section 3.2)
-
mini-maude.fm
(meta-parsing example, Section 2.7.6)
-
path.fm
(Full Maude version of the path example, Section 3)
-
stack.fm
(object-oriented stack, Section 3.4)
-
stack2.fm
(second version of an object-oriented stack, Section 3.4)