Publications of Franz Puntigam (Punt94a)

Franz Puntigam.
Type Specialization for Object-Oriented Coordination.
In Proceedings of the Joint Conference on Information Sciences, Pinehurst, NC, November 1994.

Abstract:

TSOc is presented as a declarative, object-oriented, concurrent programming language and model. Its intended field of application is the coordination of simultaneously active autonomous applications. This language/model is based on a type lattice and constraints over typed variables. Subtyping and constraints allow to specify interfaces and communication protocols in a declarative way.

Paper

@Inproceedings{Punt94a,
  author    = "Franz Puntigam",
  title     = "Type Specialization for Object-Oriented Coordination",
  booktitle = "Joint Conference on Information Sciences",
  month     = nov,
  year      = 1994,
  url       = "http://www.complang.tuwien.ac.at/franz/papers/Punt94a.ps.gz"
}