Computability in Europe 2006
Logical Approaches to Computational Barriers

Special Session Talk:
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes

Speaker: Erika Ábrahám
Author(s): Erika Ábrahám, Andreas Grüner and Martin Steffen


   This paper formalizes an open semantics for a calculus featuring
 thread classes, where the environment, consisting in particular of
 an overapproximation of the heap topology, is abstractly represented.

   We extend our prior work not only by adding thread classes,
 but also in that thread names may be communicated, which means 
 that the semantics needs to account explicitly for the possible
 acquaintance of objects with threads.  We show soundness of the

websites: Arnold Beckmann 2006-04-26