Corpus ID: 16247245

Omicron , An example of an Object-Oriented Calculus

  title={Omicron , An example of an Object-Oriented Calculus},
  author={Else K. Nordhagen},
  • Else K. Nordhagen
  • Published 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