Publications of Franz Puntigam (Punt97b)

Franz Puntigam.
Types that Reflect Changes of Object Usability.
In Proceedings of the Joint Modular Languages Conference (JMLC'97), Springer-Verlag, LNCS 1204, Linz, Austria, March 1997.

Abstract:

Strong, static typing is useful because it can improve the readability, reliability and optimizability of programs. The usability of an object may change over time. However, conventional type systems for object-oriented languages presume that objects are always used in the same way. In this paper an extension of Ada's type concept is presented: Possible changes of object usabilities can be specified as part of type declarations for passive and active objects. This extension is compatible with inheritance and supports static type checking.

Paper

@InProceedings{Punt97b,
  author    = "Franz Puntigam",
  title     = "Types that Reflect Changes of Object Usability",
  booktitle = "Proceedings of the Joint Modular Languages Conference (JMLC'97)",
  year      = 1997,
  month     = mar,
  number    = 1204,
  series    = "Lecture Notes in Computer Science",
  publisher = "Springer-Verlag",
  address   = "{L}inz, {A}ustria",
  url       = "http://www.complang.tuwien.ac.at/franz/papers/Punt97b.ps.gz"
}