Publications of Franz Puntigam (Punt98)
Dynamic Type Information in Process Types.
In Proceedings of the 4th European Conference on Parallel Processing
David Pritchard and Jeff Reeve (eds.),
, LNCS 1470,
Southampton, England, September 1998.
Static checking of process types ensures that each object accepts all
messages received from concurrent clients, although the set of acceptable
messages can depend on the object's state. However, conventional approaches
of using dynamic type information (e.g., checked type casts) are not
applicable in the current process type model, and the typing of self-
references is too restrictive. In this paper a refinement of the model is
proposed. It solves these problems so that it is easy to handle, for example,
author = "Franz Puntigam",
title = "Dynamic Type Information in Process Types",
booktitle = "Proceedings EuroPar '98",
editor = "David Pritchard and Jeff Reeve",
number = 1470,
series = lncs,
year = 1998,
address = "Southampton, England",
month = sep,
publisher = springer,
url = "http://www.complang.tuwien.ac.at/franz/papers/Punt98.ps.gz"