Name
Abstract | ||
|---|---|---|
This paper presents an approach to formalize COM. Despite its importance,COM still does not have a formal specification. In order to understand the COM'sinformal rules better, the COMEL language is being introduced. We formalizedsome of the important COM's rules and present COMEL's abstract syntax andtype system. Work is still progressing on the operational semantics of COMELand the soundness proof for the COMEL type system.1 IntroductionMicrosoft's OLE (Object Linking and Embedding)... |
Year | DOI | Venue |
|---|---|---|
1998 | 10.1007/3-540-49255-0_186 | ECOOP Workshops |
Keywords | Field | DocType |
component object model,comel language,type system,operational semantics,abstract syntax,formal specification | Microsoft Windows,Programming language,Computer science,Component Object Model,Object language,Binary number | Conference |
Volume | ISSN | ISBN |
1543 | 0302-9743 | 3-540-65460-7 |
Citations | PageRank | References |
4 | 0.58 | 3 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Rosziati Ibrahim | 1 | 46 | 13.87 |
| Clemens A. Szyperski | 2 | 531 | 71.78 |