Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Towards a formalization for COM part i: the primitive calculus
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Operational semantics for multi-language programs
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Operational semantics for multi-language programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
| Hi-index | 0.00 |
In this paper, we propose an examplary language, COMEL, that support the Microsoft''s Component Object Model (COM) facilities. Microsoft''s COM is a leading example of the currently emerging technologies for component software. As such, it is the foundation of Microsoft''s OLE (Object Linking and Embedding) and ActiveX. Despite its importance, COM does not have a formal specification. An examplary language, COMEL, is used to model COM''s rules. A formal type system for COMEL is presented. This paper in effect presents an approach to the formalization of COM.