Objects And Classes, Co-Algebraically [chapter]

Bart Jacobs
1996 The Kluwer International Series in Engineering and Computer Science  
The co-algebraic perspective on objects and classes in object-oriented programming is elaborated: classes are described as co-algebras, which may occur as models (implementations) of co-algebraic speci cations. These speci cations are much like deferred (or virtual) classes with assertions in Ei el. An object belonging to a class is an element of the state space of the class, as co-algebra. We show how terminal co-algebras of co-algebraic speci cations give rise to canonical models (in which
more » ... observationally indistinguishable objects are identi ed). We further describe operational semantics for objects, with an associated notion of bisimulation (for objects in classes modeling the same speci cation), expressing observational indistinguishability.
doi:10.1007/978-1-4613-1437-0_5 fatcat:mqs2gtg4rrawtarmunej5an5yu