The design of a com-oriented module system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1897, Issue , 2000, Pages 104-118

  Pucella, Riccardo ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CLASS INTERFACES; MEMORY MANAGEMENT; MODULE SYSTEMS; POLYMORPHIC FUNCTIONS; PRELIMINARY DESIGN; STANDARD ML;

OBJECT ORIENTED PROGRAMMING;

EID: 0038507257     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10722581_10     Document Type: Conference Paper

References (32)

1. G. Bracha. The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance. PhD thesis, Department of Computer Science, University of Utah, 1992.
2. D. Chappell. Understanding ActiveX and OLE. Microsoft Press, 1996.
3. S. Finne, D. Leijen, E. Meijer, and S. Peyton Jones H/Direct: A binary foreign language interface for Haskell. In Proceedings of the 1998 ACM SIGPLAN International Conference on Functional Programming, pages 153-162. ACM Press, 1998.
4. S. Finne, D. Leijen, E. Meijer, and S. Peyton Jones. Calling hell from heaven and heaven from hell. In Proceedings of the 1999ACM SIGPLAN International Conference on Functional Programming, pages 114-125. ACM Press, 1999.
5. M. Flatt. Programming Languages for Reusable Software Components. PhD thesis, Rice University, 1999.
6. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison Wesley, 1996.
7. D. Gruntz and B. Heeb. Direct-To-COM compiler provides garbage collection for COM objects. In Proceedings of the 2nd Component User's Conference (CUC), July 1997.
8. R. Harper. Programming in Standard ML. Online tutorial notes available from http://www.cs.cmu.edu/~rwh/introsml/°/o linebreak[2]index.html, 1998.
9. R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules and sharing. In Conference Record ofthe Twenty-First Annual ACM Symposium on Principles of Programming Languages. ACM Press, 1994.
10. 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.
11. 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.
12. X. Leroy. Manifest types, modules, and separate compilation. In Conference Record of the Twenty-First Annual ACM Symposium on Principles ofProgramming Languages, pages 109-122. ACM Press, 1994.
13. X. Leroy. Applicative functors and fully transparent higher-order modules. In Conference Record ofthe Twenty-Second Annual ACM Symposium on Principles ofProgramming Languages, pages 142-153. ACM Press, 1995.
14. X. Leroy. Camlidl user's manual. Online manual available from http://caml.inria.fr/camlidl/, 1999.
15. X. Leroy, J. Vouillon, and D. Doligez. The Objective Caml system. Software and documentation available from http://pauillac.inria.fr/ocaml/, 1996.
16. D. MacQueen. Modules for Standard ML. In Conference Record of the 1984ACM Symposium on Lisp and Functional Programming, pages 198-207. ACM Press, 1984.
17. D. B. MacQueen and M. Tofte. A semantics for higher-order functors. In Fifth European Symposium on Programming, volume 788 of Lecture Notes in Computer Science, pages 409423. Springer, 1994.
18. Microsoft Corporation. Developing for Microsoft Agent. Microsoft Press, 1997.
19. Microsoft Corporation and Digital Equipment Corporation. The Component Object Model Specification. Draft version 0.9, available from http://www.microsoft.com/com, 1995.
20. R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). The MIT Press, Cambridge, Mass., 1997.
21. Oberon Microsystems Inc. Component Pascal language report. Available from http://www.oberon.ch, 1997.
22. Object Management Group. The Common Object Request Broker: Architecture and Specifications (revision 1.2). OMG document 93.12.43, Object Management Group, 1993.
23. L. C. Paulson. MLforthe Working Programmer. Cambridge University Press, second edition, 1996.
24. J. Peterson and K. Hammond (Eds). Report on the programming language Haskell, version 1.4. Technical report, Department of Computer Science, Yale University, 1997. Available from http://www.haskell.org.
25. S. Peyton Jones, E. Meijer, and D. Leijen. Scripting COM components from Haskell. In Proceedings ofthe Fifth International Conference on Software Reuse. IEEE Computer Society Press, 1998.
26. R. Pucella, E. Meijer, and D. Oliva. Aspects de la programmation d'applications Win32 avec un langage fonctionnel. In Actes des Journees Francophones des Languages Applicatifs, pages 267-291. INRIA, 1999.
27. D. Rogerson. Inside COM. Microsoft Press, 1997.
28. B. Stroustrup. The C++ Programming Language. Addison Wesley, Reading, MA, third edition, 1997.
29. 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.
30. K. J. Sullivan, J. Socha, and M. Marchukov. Using formal methods to reason about architectural standards. In Proceedings ofthe International Conference on Software Engineering, pages 503-513. ACM Press, 1997.
31. C. Szyperski. Component Software. Addison Wesley, 1997.
32. J. D. Ullman. Elements ofML Programming. Prentice-Hall, ML97 edition, 1998.