User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

OPUS: a Formal Approach to Object-Orientation

Primary tabs

Mens, Tom [VUB] Mens, Kim [UCL] Steyaert, Patrick [VUB]

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.

Document type Communication à un colloque (Conference Paper) – Présentation orale avec comité de sélection
Access type Accès restreint
Publication date 1994
Language Anglais
Conference "Formal Methods Europe (FME 1994)", Barcelona, Spain (du 24/10/1994 au 28/10/1994)
Peer reviewed yes
Host document Maurice Naftalin, Tim Denvir, Miquel Bertran ; "FME '94: Industrial Benefit of Formal Methods"- p. 326-345 (ISBN : 978-3-540-58555-8)
Collection Lecture Notes in Computer Science - 873 (ISSN : 0302-9743)
Publisher Springer-Verlag
Publication status Publié
Affiliation UCL - SST/ICTM/INGI - Pôle en ingénierie informatique
Links
Bibliographic reference Mens, Tom ; Mens, Kim ; Steyaert, Patrick. OPUS: a Formal Approach to Object-Orientation.Formal Methods Europe (FME 1994) (Barcelona, Spain, du 24/10/1994 au 28/10/1994). In: Maurice Naftalin, Tim Denvir, Miquel Bertran, FME '94: Industrial Benefit of Formal Methods, Springer-Verlag1994, p. 326-345
Permanent URL http://hdl.handle.net/2078.1/162932