Object-Oriented Programming

Volume 821 of the series Lecture Notes in Computer Science pp 100-117


Typed concurrent objects

  • Vasco T. VasconcelosAffiliated withDepartment of Computer Science, Keio University

* Final gross prices may vary according to local VAT.

Get Access


Based on a name-passing calculus and on its typing system the paper shows how to build several language constructors towards a strongly-typed object-oriented concurrent programming language. The basic calculus incorporates the notions of asynchronous labelled messages, concurrent objects composed of labelled methods, and a form of abstraction on processes allowing in particular to declare polymorphic classes. We introduce a notion of values as name-expressions, and show how to create subclasses of existing classes. A systematic translation of the derived constructors into the basic calculus provides for semantics and for typing rules for the new constructors.