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.