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

Abstract

   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
 abstraction. 


websites: Arnold Beckmann 2006-04-26