Omicron , An example of an Object-Oriented Calculus
@inproceedings{Nordhagen1996OmicronA, title={Omicron , An example of an Object-Oriented Calculus}, author={Else K. Nordhagen}, year={1996} }
Object-oriented technology featuring the concepts of object identity, instance creation, encapsulation, dynamic binding and inheritance are increasingly popular when designing systems, but there is a lack of formalisation tools. The common way to formalise object-oriented models is by translating from object-oriented models to models which are supported by existing calculi, ie, functional models (lambda calculus) or models of communicating processes (eg, π-calculus). Such translations are not… CONTINUE READING