[Zurück]


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

F. Puntigam:
"State Information in Statically Checked Interfaces";
Vortrag: Eighth International Workshop on Component-Oriented Programming, Darmstadt, Germany; 21.07.2003; in: "Eighth International Workshop on Component-Oriented Programming", (2003), 8 S.



Kurzfassung englisch:
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-Bibliotheks-Katalog der TU Wien:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04404556

Elektronische Version der Publikation:
http://research.microsoft.com/~cszypers/events/WCOP2003/11-Puntigam.pdf


Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.