Else K. Nordhagen

Learn More
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(More)
The work presented here is done in order to compare traditional denotational semantics and π-calculus [Mil2/3] as tools for formally expressing the semantics of object-oriented languages. The target language for the comparison is the "pure" object-oriented language Smalltalk-80 which semantics is denotationally defined in [Kam] and [Wol]. The presented work(More)
  • 1