Object-oriented systems

Some object-oriented concepts were introduced in Chapter 8. Here we recall some of them and then focus on the notions of class and inheritance, and on the additional syntactic facilities provided by Full Maude to support object-oriented programming.