OPUS: a Calculus for Modelling Object-Oriented Concepts [chapter]

Tom Mens, Kim Mens, Patrick Steyaert
1995 OOIS'94  
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.
doi:10.1007/978-1-4471-3016-1_12 dblp:conf/oois/MensMS94 fatcat:avfeqybz45dn5f46tdkauzvucq