Publications of Franz Puntigam (Punt97)

Franz Puntigam.
Coordination Requirements Expressed in Types for Active Objects.
In Proceedings of the European Conference on Object-Oriented Programming (ECOOP'97), Mehmet Aksit and Satoshi Matsuoka (eds.), Springer-Verlag, LNCS 1241, Jyväskylä, Finland, June 1997.

Abstract:

An object's type is usually regarded as a contract between the object and each of its users. However, in concurrent (and sometimes also in sequential) systems it is more useful to regard a type as a contract between an object and the unity of all users: The users must be coordinated before sending messages to the object. Types in the proposed model express requirements on the coordination of users; objects must accept messages only in pre-specified orders. The model ensures statically that objects behave as specified by their types, and users are coordinated appropriately.

Keywords:

type model, concurrency, active objects

Paper

Technical Report

@InProceedings{Punt97,
  author    = "Franz Puntigam",
  title     = "Coordination Requirements Expressed in Types for Active Objects",
  booktitle = "Proceedings {ECOOP} '97",
  editor    = "Mehmet Aksit and Satoshi Matsuoka",
  series    = "Lecture Notes in Computer Science",
  year      = 1997,
  number    = 1241,
  publisher = "Springer-Verlag",
  address   = "{Jyv\"askyl\"a}, Finland",
  month     = jun,
  url       = "http://www.complang.tuwien.ac.at/franz/papers/Punt97.ps.gz"
}