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

186 Regular Types for Active Objects – Oscar Nierstrasz - 1993
8 A Meta-protocol and Type system for the Dynamic Coupling of Binary Components – Ralf H. Reussner, Dirk Heuzeroth - 1999
1204 Component Software: Beyond Object-Oriented Programming – Clemens Szyperski - 1997
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
8 Changeable Interfaces And Promised Messages For Concurrent Components – Franz Puntigam, Christof Peter - 1999
27 Types for Active Objects Based on Trace Semantics – Franz Puntigam - 1996
19 Enhanced component interfaces to support dynamic adaption and extension – Ralf H. Reussner - 2001
34 Act++: building a concurrent C++ with actors – D Kafura - 1990
755 Eiffel: the language – B Meyer - 1992
44 Interfaces, protocols, and the semi-automatic construction of software adaptors – D M Yellin, R E Strom - 1994
5 Statecharts: a visuel approach to complex systems – D Harel - 1987
3 Petri-Netze für Ingenieure – Dirk Abel - 1990
30 Component Interoperability – Antonio Vallecillo, Juan Hernandez, Jose M. Troya - 2000