Next:
Full Maude: Extending Core
Up:
Maude Manual (Version 2.3)
Previous:
Memberships for iterated operators
Contents
Full Maude
Subsections
Full Maude: Extending Core Maude
Running Full Maude
Using Core Maude modules in Full Maude
Additional module operations in Full Maude
The tuple and power module expressions
Parameterized views
Moving up and down between reflection levels
Up
Down
Differences between Full Maude and Core Maude
Object-Oriented Modules
Object-oriented systems
Objects and messages
Classes
Inheritance
Object-oriented rules
Example: a rent-a-car store
Object-oriented parameterized programming
Theories
Views
Parameterized object-oriented modules
Module operations on object-oriented modules
Module summation and renaming
Module instantiation
Example: extended rent-a-car store
A strategy for sequential rule execution
Model checking a round-robin scheduling algorithm
From object-oriented modules to system modules
The Maude Team
