Typed concurrent objects (1994) [71 citations — 11 self]
Download:
|
|
by Vasco T. Vasconcelos
ECOOP'94, LNCS
http://www.di.fc.ul.pt/~vv/abstracts/papers/tyco-ecoop94.ps.gz
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Vasconcelos94typedconcurrent,author = {Vasco T. Vasconcelos},
title = {Typed concurrent objects},
booktitle = {ECOOP'94, LNCS},
year = {1994},
pages = {100--117},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Abstract:
Based on a name-passing calculus and on its typing system the paper shows how to build several language constructors towards a strongly-typed objectoriented 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.
