Single HTML file   Postcript or PDF   (FSTTCS'00, Slides)

Inheritance in the Join Calculus

Cédric Fournet*   Cosimo Laneve#   Luc Maranget%   Didier Rémy%
April 23, 2004




Abstract: We design an extension of the join calculus with class-based inheritance. Method calls, locks, and states are handled in a uniform manner, using asynchronous messages. Classes are partial message definitions that can be combined and transformed by means of operators for behavioral and synchronization inheritance. We also give a polymorphic type system that statically enforces basic safety properties. Our language and its type system are compatible with the JoCaml implementation of the join calculus.

This document was translated from LATEX by HEVEA and HACHA.