메뉴 건너뛰기




Volumn , Issue , 2002, Pages 331-342

Towards a formalization for COM Part I: The primitive calculus

Author keywords

Calculus; COM; Components; Formalism; Interfaces; Type system

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; INTERFACES (COMPUTER); OBJECT ORIENTED PROGRAMMING; SEMANTICS;

EID: 0037771412     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (10)

References (18)
  • 2
    • 0038168583 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 13
    • 0003566434 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 18


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.