Sciweavers

Share
ICTAC
2004
Springer

Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes

12 years 7 months ago
Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes
onnectivity and Full Abstraction for a Concurrent Calculus of Classes⋆ nded Abstract — Erika ´Abrah´am2 , Marcello M. Bonsangue3 , Frank S. de Boer4 , and Martin Steffen1 1 Christian-Albrechts-University Kiel, Germany 2 University Freiburg, Germany 3 University Leiden, The Netherlands 4 CWI Amsterdam, The Netherlands The concurrent object calculus has been investigated as a core calculus for imperative, object-oriented languages with multithreading and heap-allocated objects. The combination of this form of concurrency with objects corresponds to features known from the popular language Java. One distinctive feature, however, of the concurrent object calculus is that it is object-based, whereas the mainstream of objectoriented languages is class-based. This work explores the semantical consequences of introducing classes to the calculus. Considering classes as part of a component makes instantiation a possible interaction between component and environment. A striking consequence...
Erika Ábrahám, Marcello M. Bonsangue
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where ICTAC
Authors Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen
Comments (0)
books