Part II
Full Maude

15 Full Maude: Extending Core Maude
 15.1 Running Full Maude
 15.2 Using Core Maude modules in Full Maude
 15.3 Additional module operations in Full Maude
 15.4 Moving up and down between reflection levels
 15.5 Differences between Full Maude and Core Maude
16 Narrowing
 16.1 Introduction
 16.2 Completeness of narrowing
 16.3 Theories supported
 16.4 The narrowing search command
 16.5 Unification with identities: The id-unify command
 16.6 Reachability at the metalevel: metaNarrowSearch
 16.7 Unification with identities at the metalevel: metaACUUnify
17 Object-Oriented Modules
 17.1 Object-oriented systems
 17.2 Example: a rent-a-car store
 17.3 Object-oriented parameterized programming
 17.4 Module operations on object-oriented modules
 17.5 Example: extended rent-a-car store
 17.6 A strategy for sequential rule execution
 17.7 Model checking a round-robin scheduling algorithm
 17.8 From object-oriented modules to system modules