Sciweavers

FM
1994
Springer

OPUS: a Formal Approach to Object-Orientation

13 years 6 months ago
OPUS: a Formal Approach to Object-Orientation
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, message passing and incremental modification. This is illustrated by numerous examples. Thanks to the way objects are constructed in this calculus, we can deal with selfreference, recursion and even mutual recursion in a straightforward way. We also illustrate that it is relatively easy to model different kinds of inheritance mechanisms. Finally, we argue to which extent our calculus can be used for modeling and investigating object-oriented concepts.
Tom Mens, Kim Mens, Patrick Steyaert
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1994
Where FM
Authors Tom Mens, Kim Mens, Patrick Steyaert
Comments (0)