Publications of Franz Puntigam (Punt98)

Franz Puntigam.
Dynamic Type Information in Process Types.
In Proceedings of the 4th European Conference on Parallel Processing (Euro-Par'98), David Pritchard and Jeff Reeve (eds.), Springer-Verlag, LNCS 1470, Southampton, England, September 1998.

Abstract:

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, heterogeneous collections.

Paper

@InProceedings{Punt98,
  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"
}