Publications of Franz Puntigam (Punt03a)

Franz Puntigam.
State Information in Statically Checked Interfaces.
In Eighth International Workshop on Component-Oriented Programming, 21.07.2003, Darmstadt, Germany.

Abstract:

Reliable contracts are absolutely necessary in systems containing substitutable and especially hot-swappable software components. In the ideal case, automatic tools like type checkers ensure that all parties of a contract actually behave as formally stated in the contract. However, current static type systems ensure consistency only for quite simple information about available services and cannot deal with more advanced contract specifications. This work aims at improving the expressiveness of type systems for contract information while ensuring type consistency statically and separately for each component. The proposed concepts allow the availability of services to change dynamically.

Paper

@InProceedings{Punt03a,
  author    = {Franz Puntigam},
  title     = {State Information in Statically Checked Interfaces},
  booktitle = {Eighth International Workshop on Component-Oriented Programming},
  year      = 2003,
  address   = {Darmstadt, Germany},
  month     = jul,
  url       = "http://www.complang.tuwien.ac.at/franz/papers/Punt03a.ps.gz"
}