Publications of Franz Puntigam (Punt96c)

Franz Puntigam.
Practical Expressive Types for Active Objects.
In Proceedings of the 2nd Conference on Parallel Object-Oriented Methods and Applications (POOMA'96), Santa Fe, New Mexico, February 1996.

Abstract:

While statically checkable types expressing partial object behavior are included in many sequential object-oriented languages, there is no corresponding practical type concept for languages based on active objects. We propose a type concept for active objects which ensures that all sent messages are accepted by the receivers, supports the specification of object behavior modifications, and is statically checkable.

Paper

@InProceedings{Punt96c,
  author    = "Franz Puntigam",
  title     = "Practical Expressive Types for Active Objects",
  booktitle = "Proceedings of the Conference on Parallel Object-Oriented
              Methods and Applications (POOMA'96)",
  year      = 1996,
  address   = "Santa Fe, New Mexico",
  month     = feb,
  url       = "http://www.complang.tuwien.ac.at/franz/papers/Punt96c.ps.gz"
}