Check out the new USENIX Web site.

Integration of Concurrency Control in a Language with Subtyping and Subclassing


Carlos Baquero, Rui Oliveira, Francisco Moura

Departamento de Informatica
Universidade do Minho
Braga - Portugal

Email: cbm,rco,fsm@di.uminho.pt.
https://www.di.uminho.pt/~cbm,rco,fsm.

Abstract

This paper describes the integration of concurrency control in Balloon, an object-oriented language that separates the concepts of type and class as well of subtyping and subclassing. Types are interface specifications enriched with concurrency control annotations. Classes are used to implement the operational functionality of types as well as concurrency control mechanisms. Types, classes and concurrency control annotations are independently reusable and derivable. The language takes advantage of this separation to solve the typical problems of the inheritance anomaly.


Download the full text of this paper in ASCII (41,310 bytes) and POSTSCRIPT (84,969 bytes) form.

To Become a USENIX Member, please see our Membership Information.