Springer-Verlag, July 1997. We design a convenient class language to assemble partial definitions in a declarative manner, before turning them into objects. In particular, we are interested in the smooth integration of a functional classbased language and of the objective join calculus. The proofs of correctness of the type system appear in the appendix. In this section we focus on the core calculus dealing with objects.
Examples model some crude bank account.
Our first simplistic example models a dishonest bank that accepts all deposits and forgets about them. C. Fournet, C. Laneve, L. Maranget, and D. R'emy. Therefore it implicitly assumes that the renamed method is also redefined in the subclass. In this section, our basic object calculus is extended with concurrent primitives. In this paper, we show that locality strongly affects the treatment of bisimulation, and provides a semantics simpler than other proposals in the literature.