OPUS: a Formal Approach to Object-Orientation

Authors
Tom Mens, Kim Mens, Patrick Steyaert
Tags
,
Title
OPUS: a Formal Approach to Object-Orientation
Authors
Tom Mens, Kim Mens, Patrick Steyaert
Type
In Proceedings
Book title
FME '94: Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Pages
326-345
Publisher
Springer-Verlag
Editor
Maurice Naftalin, B. Tim Denvir, Miquel Bertran
Year
1994

Abstract

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 self-reference, 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.

Tags Tags: ,


BibTeX Record
  @inproceedings{RELEASeD-1994-771677,
    title = {OPUS: a Formal Approach to Object-Orientation},
    author = {Tom Mens and Kim Mens and Patrick Steyaert},
    year = {1994},
    pages =  {326-345},
    booktitle = {FME '94: Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods},
    publisher = {Springer-Verlag},
    editor = {Maurice Naftalin, B. Tim Denvir, Miquel Bertran},
  }