Talks and Poster Presentations (with Proceedings-Entry):
"State Information in Statically Checked Interfaces";
Talk: Eighth International Workshop on Component-Oriented Programming,
2003-07-21; in: "Eighth International Workshop on Component-Oriented Programming",
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.
Online library catalogue of the TU Vienna:
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.