Formal Foundations of Dynamic Types for Software Components (2000)

Cached

Download Links

by Ralf H. Reussner
Venue:Department of Informatics, Universität Karlsruhe
Citations:5 - 2 self

Documents Related by Co-Citation

179 Regular Types for Active Objects – Oscar Nierstrasz - 1993
7 A Meta-protocol and Type system for the Dynamic Coupling of Binary Components – Ralf H. Reussner, Dirk Heuzeroth - 1999
1091 Component Software: Beyond ObjectOriented Programming – C Szyperski - 1998
10 The Guide Language – Roland Balter, Serge Lacourte, Michel Riveill - 1994
3 BCOOPL: Basic concurrent object-oriented programming language – H de Bruin - 2000
2 language specification. available from http://msdn.microsoft.com/vstudio/ nextgen/technology/csharpdownload.asp – C - 2000
2 available online at http://www.icsi.berkeley.edu/ sather/Specification/Sather1 – 1 Sather1 - 1996
7 PROCOL: A concurrent object-language with protocols, delegation and persistence – J van den Bos, C Laffra - 1991
2 Gardens point component pascal. http://www.fit.qut.edu.au/CompSci/ PLAS/ComponentPascal – gpcp - 2001
5 Dynamic Coupling of Binary Components and its Technical Support – Dirk Heuzeroth, Ralf H. Reussner - 1999
32 ACT++: Building a concurrent C++ with Actors – D Kafura, K H Lee - 1990
17 Enhanced component interfaces to support dynamic adaption and extension – Ralf H. Reussner - 2001
8 Changeable Interfaces And Promised Messages For Concurrent Components – Franz Puntigam, Christof Peter - 1999
26 Types for Active Objects Based on Trace Semantics – Franz Puntigam - 1996
706 Eiffel: The Language – B Meyer - 1992
4 Statecharts: a visuel approach to complex systems – D Harel - 1987
43 Interfaces, protocols, and the semi-automatic construction of software adaptors – D M Yellin, R E Strom - 1994
3 Petri-Netze für Ingenieure – Dirk Abel - 1990
29 Component Interoperability – Antonio Vallecillo, Juan Hernandez, Jose M. Troya - 2000