Object-oriented parameterized programming

The notions of theory, view, and parameterized module (see Section 6.3) have been extended to the object-oriented case. In this section, we explain how to write object-oriented theories, views with object-oriented theories as sources and object-oriented modules or object-oriented theories as targets, and object-oriented parameterized modules with possibly object-oriented theories as parameters. In Section 15.4 we explain how the module operations available in Full Maude have been extended, so that they are also available on object-oriented modules. In particular, we will see how it is possible to rename an object-oriented module and to instantiate an object-oriented module parameterized by an object-oriented theory with a view having another object-oriented module as its target.