Unifying Theories of Objects
We present an approach to modelling Abadi–Cardelli-style object calculi as UTP <em>designs</em>. Here we provide a core object calculus with an operational <em>small-step evaluation rule</em> semantics, and a corresponding UTP model with a denotational <em>relational pr...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
Springer−Verlag
2007
|