User menu

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

OPUS: a Calculus for Modeling Object-Oriented Concepts

Primary tabs

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

We propose a very concise calculus for modelling object-oriented concepts such as objects, message sending, encapsulation and incremental modification. We show how to deal with recursion and provide some object-oriented examples. State and encapsulated inheritance are modelled by means of an incremental modification operator.

Document type Communication à un colloque (Conference Paper) – Présentation orale avec comité de sélection
Access type Accès restreint
Publication date 1995
Language Anglais
Conference "Object-Oriented Information Systems (00IS 1994)", London, UK (du 19/12/1994 au 21/12/1994)
Peer reviewed yes
Host document Dilip Patel, Yuan Sun, Shushma Patel ; "Proceedings of Object-Oriented Information Systems (00IS 1994)"- p. 152-165 (ISBN : 978-3-540-19927-4)
Publisher Springer Verlag
Publication status Publié
Affiliation UCL - SST/ICTM - Institute of Information and Communication Technologies, Electronics and Applied Mathematics
Keywords calculus ; encapsulated objects ; message sending ; incremental modification ; encapsulated inheritance
Links
Bibliographic reference Mens, Tom ; Mens, Kim ; Steyaert, Patrick. OPUS: a Calculus for Modeling Object-Oriented Concepts.Object-Oriented Information Systems (00IS 1994) (London, UK, du 19/12/1994 au 21/12/1994). In: Dilip Patel, Yuan Sun, Shushma Patel, Proceedings of Object-Oriented Information Systems (00IS 1994), Springer Verlag1995, p. 152-165
Permanent URL http://hdl.handle.net/2078.1/162928