-
2
-
-
0038168583
-
The COMEL language
-
Technical Report FIT-TR-97-06, Faculty of Information Technology, Queensland University of Technology, Brisbane, Australia
-
R. Ibrahim and C. Szyperski. The COMEL language. Technical Report FIT-TR-97-06, Faculty of Information Technology, Queensland University of Technology, Brisbane, Australia, 1997.
-
(1997)
-
-
Ibrahim, R.1
Szyperski, C.2
-
3
-
-
0037830846
-
Can component object model (COM) be formalized? - The formal semantics of the COMEL language
-
Also appears as Technical Report TR-CS-98-09, The Australian National University
-
R. Ibrahim and C. Szyperski. Can Component Object Model (COM) be formalized? - the formal semantics of the COMEL language. Work-In-Progress, IRW/FMP'98. Also appears as Technical Report TR-CS-98-09, The Australian National University, 1998.
-
(1998)
Work-In-Progress, IRW/FMP'98
-
-
Ibrahim, R.1
Szyperski, C.2
-
4
-
-
0003766129
-
-
Microsoft Corporation and Digital Equipment Corporation
-
Microsoft Corporation and Digital Equipment Corporation. The Component Object Model Specification. Draft version 0.9, available from http://www.microsoft.com/com, 1995.
-
(1995)
The Component Object Model Specification. Draft Version 0.9
-
-
-
6
-
-
0011397137
-
Semantics of memory management for polymorphic languages
-
Cambridge University Press
-
G. Morrissett and R. Harper. Semantics of memory management for polymorphic languages. In Higher-Order Operational Techniques in Semantics, pages 175-226. Cambridge University Press, 1997.
-
(1997)
Higher-Order Operational Techniques in Semantics
, pp. 175-226
-
-
Morrissett, G.1
Harper, R.2
-
12
-
-
84947255140
-
Alias types
-
F. Smith, D. Walker, and G. Morrisett. Alias types. In Proceedings of the European Symposium on Programming, volume 1782 of Lecture Notes in Computer Science, pages 366-381, 2000.
-
(2000)
Proceedings of the European Symposium on Programming, Volume 1782 of Lecture Notes in Computer Science
, pp. 366-381
-
-
Smith, F.1
Walker, D.2
Morrisett, G.3
-
13
-
-
0003566434
-
-
Prentice Hall Intenational Series in Computer Science. Prentice-Hall, second edition
-
M. Spivey, The Z Notation: A Reference Manual. Prentice Hall Intenational Series in Computer Science. Prentice-Hall, second edition, 1992.
-
(1992)
The Z Notation: A Reference Manual
-
-
Spivey, M.1
-
14
-
-
0038168580
-
Interface negotiation and efficient reuse: A relaxed theory of the component object model
-
Technical Report 97-11, Department of Computer Science, University of Virginia
-
K. J. Sullivan and M. Marchukov. Interface negotiation and efficient reuse: A relaxed theory of the component object model. Technical Report 97-11, Department of Computer Science, University of Virginia, 1997.
-
(1997)
-
-
Sullivan, K.J.1
Marchukov, M.2
-
15
-
-
0011824933
-
Analysis of a conflict between aggregation and interface negotiation in microsoft's component object model
-
K. J. Sullivan, M. Marchukov, and J. Socha. Analysis of a conflict between aggregation and interface negotiation in Microsoft's Component Object Model. IEEE Transactions on Software Engineering, 25(4):584-599, 1999.
-
(1999)
IEEE Transactions on Software Engineering
, vol.25
, Issue.4
, pp. 584-599
-
-
Sullivan, K.J.1
Marchukov, M.2
Socha, J.3
|