Type-based hot swapping of running modules [Extended abstract]

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 36, Issue 10, 2001, Pages 62-73

  Duggan, Dominic ^a  

^a Stevens Institute of Technology   (United States)

Author keywords

Dynamic Typing; Hot Swapping; Module Interconnection Languages; Shared Libraries

Indexed keywords

EID: 17144426122     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/507669.507645     Document Type: Article

References (56)

1. M. Abadi, L. Cardeli, B. Pierce, and D. Remy. Dynamic typing in polymorphic languages. In P. Lee, editor, Proceedings of the ACM SIGPLAN Workshop on ML and its Applications, San Francisco, California, June 1992. Carnegie-Mellon University Technical Report CMU-CS-93-105.
2. M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, July 1996.
3. M. Abadi, L. Cardelli, B. Pierce, and G. Plotkin. Dynamic typing in a statically typed language. ACM Transactions on Programming Languages and Systems, 13(2):237-268, 1991.
4. T. Bloom. Dynamic Module Replacement in a Distributed Programming System. PhD thesis, MIT, 1983.
5. T. Bloom and M. Day. Reconfiguration and module replacement in Argus: Theory and practice. Software Engineering Journal, 8(2):102-108, 1993.
6. G. Bracha, M. Odersky, D. Stoutamire, and P. Wadler. Making the future safe for the past: Adding genericity to the Java programming language. In C. Chambers, editor, Proceedings of ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications, pages 183-200, Vancouver, British Columbia, 1998. ACM Press.
7. K. Bruce. A paradigmatic object-oriented programming language: Design, static typing and semantics. Journal of Functional Programming, 4:127-206, 1994.
8. L. Cardelli. Program fragments, linking and modularization. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 266-277. ACM Press, January 1997.
9. L. Cardelli and M. Abadi. On subtyping and matching. ACM Transactions on Programming Languages and Systems, 8(4):401-423, 1996.
10. R. Cartwright and G. Steele. Compatible genericity with run-time types for the Java programming language. In C. Chambers, editor, Proceedings of ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications, pages 201-215, Vancouver, British Columbia, 1998. ACM Press.
11. W. Cook. A proposal for making eiffel type-safe. In European Conference on Object-Oriented Programming, pages 57-70, 1989.
12. W. Cook, W. Hill, and P. Canning. Inheritance is not subtyping. In C. A. Gunter and J. C. Mitchell, editors, Theoretical Aspects of Object-Oriented Programming. The MIT Press, 1994.
13. M. Corporation. DCOM technical overview. Technical report, Microsoft Corporation, 1996.
14. C. Cowan, T. Autrey, C. Krasic, C. Pu, and J. Walpole. Fast concurrent dynamic linking for an adaptive operating system. In International Conference on Configurable Distributed Systems (ICCDS'96), Annapolis, MD, 1996.
15. K. Crary, M. Hicks, and S. Weirich. Safe and flexible dynamic linking of native code. In Workshop on Types in Compilation, Lecture Notes in Computer Science, Montreal, Quebec, Canada, September 2000. Springer-Verlag.
16. D. Duggan. Type-safe on-the-wire marshalling. Submitted for publication, 1998.
17. D. Duggan. Dynamic typing for distributed programming in polymorphic languages. ACM Transactions on Programming Languages and Systems, 21(1):11-45, January 1999.
18. D. Duggan. Sharing in typed module assembly language. In Workshop on Types in Compilation, Montreal, Quebec, Canada, September 2000.
19. D. Duggan. Type-safe dynamic linking with recursive DLLs and shared libraries. Technical report, Stevens Institute of Technology, 2001.
20. D. Duggan. Type-based hot swapping of running modules. Technical report, Stevens Institute of Technology, 2001.
21. D. Duggan and C. Sourelis. Mixin modules. In Proceedings of ACM International Conference on Functional Programming, pages 262-273, 1996.
22. H. Evans and P. Dickman. Zones, contracts and absorbing change: An approach to software evolution. In Proceedings of ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications, pages 415-434, Denver, CO, November 1999. ACM Press.
23. M. Flatt and M. Felleisen. Units: Cool modules for HOT languages. In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, 1998.
24. M. Franz. Dynamic linking of software components. IEEE Computer, 18(9162):74-81, March 1997.
25. S. Gilmore, D. Kirli, and C. Walton. Dynamic ML without dynamic types. Technical report, Department of Computer Science, University of Edinburgh, 1997.
26. N. Glew. Type dispatch for named hierarchical types. In Proceedings of ACM International Conference on Functional Programming, Paris, France, September 1999. ACM Press.
27. N. Glew and G. Morrisett. Type-safe linking and modular assembly languages. In Proceedings of ACM Symposium on Principles of Programming Languages, San Antonio, Texas, January 1999. ACM Press.
28. G. Hamilton. JavaBeans API Specification v1.01. Technical report, Sun Microsystems, 1997.
29. R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 123-137, Portland, Oregon, January 1994. ACM Press.
30. R. Harper, J. Mitchell, and E. Moggi. Higher-order modules and the phase distinction. In P. Hudak, editor, Proceedings of ACM Symposium on Principles of Programming Languages, pages 341-354. Association for Computing Machinery, 1990.
31. R. Harper and G. Morrisett. Compiling polymorphism using intensional type analysis. In P. Lee, editor, Proceedings of ACM Symposium on Principles of Programming Languages, San Francisco, California, January 1995. ACM Press.
32. B. Hashii, S. Malabarba, R. Pandey, and M. Bishop. Supporting reconfigurable security policies for mobile Java programs. In World Wide Web Conference (WWW9), 2000.
33. M. Hicks, J. Moore, and S. Nettles. Dynamic software updating. In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, 2001.
34. M. Hicks and S. Weirich. A calculus for dynamic loading. Technical Report MS-CIS-00-07, University of Pennsylvania, 2000.
35. G. Hjalmtysson and R. Gray. Dynamic C++ classes: A lightweight mechanism to update code in a running program. In USENIX Technical Conference, June 1998.
36. Intermetrics, Cambridge, Mass. Ada-95 Reference Manual, 1995. International standard ISO/IEC 8652:1995(E).
37. C. League, Z. Shao, and V. Trifonov. Representing java classes in a typed intermediate language. In Proceedings of ACM International Conference on Functional Programming, Paris, France, September 1999. ACM Press.
38. X. Leroy. Unboxed objects and polymorphic typing. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 177-188. ACM Press, 1992.
39. X. Leroy. Manifest types, modules, and separate compilation. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 109-122, Portland, Oregon, January 1994. acmp.
40. X. Leroy. Applicative functors and fully transparent higher-order modules. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 154-163, San Francisco, California, January 1995. ACM Press.
41. X. Leroy and M. Mauny. Dynamics in ML. Journal of Functional Programming, 3(4):431-463, 1993.
42. S. Liang and G. Bracha. Dynamic class loading in the Java virtual machine. In Proceedings of ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications. ACM Press, October 1998.
43. B. Liskov. Distributed programming in Argus. Communications of the ACM, 31(3):300-312, March 1988.
44. S. Malabarba, R. Pandey, J. Gragg, E. Barr, and J. F. Barnes. Runtime support for type-safe dynamic java classes. In European Conference on Object-Oriented Programming, 2000.
45. R. Milner and M. Tofte. Commentary on the Standard ML Definition. The MIT Press, 1991.
46. R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. The MIT Press, 1990.
47. R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Revised Definition of Standard ML. The MIT Press, 1997.
48. G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. In Proceedings of ACM Symposium on Principles of Programming Languages, 1998.
49. J. G. Morrisett. Compiling With Types. PhD thesis, Carnegie-Mellon University, 1995.
50. P. Sewell. Modules, abstract types and distributed versioning. In Proceedings of ACM Symposium on Principles of Programming Languages, London, England, January 2001. ACM Press.
51. Z. Shao. Flexible representation analysis. In Proceedings of ACM International Conference on Functional Programming, pages 85-98. ACM Press, 1997.
52. Z. Shao. Transparent modules with fully syntactic signatures. In Proceedings of ACM International Conference on Functional Programming, Paris, France, September 1999.
53. M. Shields, T. Sheard, and S. Peyton-Jones. Dynamic typing as staged type inference. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 289-302, San Diego, California, January 1998. ACM Press.
54. J. Siegel, D. Frantz, H. Mirsky, R. Hudli, P. deJong, A. Thomas, W. Coles, S. Baker, and M. Balick. CORBA Fundamentals and Programming. John Wiley and Sons, 1996.
55. C. Stone and R. Harper. Decidable type equivalence with singleton kinds. In T. Reps, editor, Proceedings of ACM Symposium on Principles of Programming Languages, Boston, MA, January 2000. ACM Press.
56. P. Wadler. Views: a way for pattern matching to cohabit with data abstraction. In 14'th ACM Symposium on Principles of Programming Languages, Munich, Germany, January 1987.