Conference item icon

Conference item

Unifying Theories of Objects

Abstract:
We present an approach to modelling Abadi–Cardelli-style object calculi as UTP designs. Here we provide a core object calculus with an operational small-step evaluation rule semantics, and a corresponding UTP model with a denotational relational predicate semantics. For clarity, the UTP model is defined in terms of an operand stack, which is used to store the results of subprograms. Models of a less operational nature are briefly discussed. The consistency of the UTP model is demonstrated by a structural induction proof over the operations of the core object calculus. Overall, our UTP model is intended to provide facilities for encoding both object-based and class-based languages.

Actions

  • Cite

  • Print

Access Document

Files:

Authors

More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author

Publisher:
Springer−Verlag
Host title:
Integrated Formal Methods
Volume:
4591
Publication date:
2007-01-01

UUID:
uuid:ef4b3b1f-b9f6-45c2-aaa1-f2eff06c523b
Local pid:
cs:1483
Deposit date:
2015-03-12

Terms of use

Views and Downloads





If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP