usenix conference policies
You are here
Home ยป Integration of Concurrency Control in a Language with Subtyping and Subclassing
Integration of Concurrency Control in a Language with Subtyping and Subclassing
Authors:
Carlos Baquero, Rui Oliveira and Francisco Moura, Universidade do Minho, Portugal
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.
BibTeX
@inproceedings {260445,
author = {Carlos Baquero and Rui Oliveira and Francisco Moura},
title = {Integration of Concurrency Control in a Language with Subtyping and Subclassing},
booktitle = {USENIX Conference on Object-Oriented Technologies (COOTS 95)},
year = {1995},
address = {Monterey, CA},
url = {https://www.usenix.org/conference/coots-95/integration-concurrency-control-language-subtyping-and-subclassing},
publisher = {USENIX Association},
month = jun
}
author = {Carlos Baquero and Rui Oliveira and Francisco Moura},
title = {Integration of Concurrency Control in a Language with Subtyping and Subclassing},
booktitle = {USENIX Conference on Object-Oriented Technologies (COOTS 95)},
year = {1995},
address = {Monterey, CA},
url = {https://www.usenix.org/conference/coots-95/integration-concurrency-control-language-subtyping-and-subclassing},
publisher = {USENIX Association},
month = jun
}
connect with us