Modules with interfaces for dynamic linking and communication

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

Volumn 3086, Issue , 2004, Pages 414-439

  Liu, Yu David ^a   Smith, Scott F ^a  

^a JOHNS HOPKINS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

DYNAMIC LINKING; LANGUAGE-BASED SECURITY; MODULE SYSTEMS; VERSION CONTROL;

OBJECT ORIENTED PROGRAMMING;

EID: 35048848607     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24851-4_19     Document Type: Article

References (23)

1. [AG97] Robert Allen and David Garlan. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, 6(3):213-249, 1997.
2. [ASCN03] Jonathan Aldrich, Vibha Sazawal, Craig Chambers, and David Notkin. Language support for connector abstractions. In Proceedings of the Seventeenth European Conference on Object-Oriented Programming, June 2003.
3. [AZ02] D. Ancona and E. Zucca. A calculus of module systems. Journal of functional programming, 11:91-132, 2002.
4. [BC90] Gilad Bracha and William Cook.. Mixin-based inheritance. In Norman Meyrowitz, editor, Proceedings of OOPSLA/ECOOP, pages 303-311, Ottawa, Canada, 1990. ACM Press.
5. [BHSS03] G. Bierman, M. Hicks, P. Sewell, and G. Stoyle. Formalizing dynamic software updating, 2003.
6. [Blo83] Toby Bloom. Dynamic module replacement in a distributed programming system. Technical Report MIT/LCS/TR-303, 1983.
7. [Car97] Luca Cardelli. Program fragments, linking, and modularization. In Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 266-277, 1997.
8. [CBGM03] John Corwin, David F. Bacon, David Grove, and Chet Murthy. MJ: a rational module system for Java and its applications. In Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, pages 241-254, 2003.
9. [DEW99] Sophia Drossopoulou, Susan Eisenbach, and David Wragg. A fragment calculus towards a model of separate compilation, linking and binary compatibility. In Logic in Computer Science, pages 147-156, 1999:
10. [DLE03] Sophia Drossopoulou, Giovanni Lagorio, and Susan Eisenbach. Flexible models for dynamic linking. In 12th European Symposium on Programming, 2003.
11. [DS96] Dominic Duggan and Constantinos Sourelis. Mixin modules. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '96), volume 31(6), pages 262-273, 1996.
12. [FF98] Matthew Flatt and Matthias Felleisen. Units: Cool modules for HOT languages. In Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation, pages 236-248, 1998.
13. [HL02] Tom Hirschowitz and Xavier Leroy. Mixin modules in a call-by-value setting. In European Symposium on Programming, pages 6-20, 2002.
14. [HMN01] Michael W. Hicks, Jonathan T. Moore, and Scott Nettles. Dynamic software updating. In SIGPLAN Conference on Programming Language Design and Implementation, pages 13-23, 2001
15. +00] Jason Hill, Robert Szewczyk, Alec Woo, Seth Hollar, David E. Culler, and Kristofer S. J. Pister. System architecture directions for networked sensors. In Architectural Support for Programming Languages and Operating Systems, pages 93-104, 2000.
16. [LB98] Sheng Liang and Gilad Bracha. Dynamic class loading in the Java virtual machine. In Conference on Object-oriented programming, systems, languages, and applications (OOPSLA'98), pages 36-44, 1998.
17. [LS04] Yu David Liu and Scott F. Smith. Modules With Interfaces for Dynamic Linking and Communication (long version), http : //www. cs. jhu. edu/scott/pll/assemblage/asm. pdf. Technical report, Baltimore, Maryland, March 2004.
18. [Mac84] D. MacQueen. Modules for Standard ML. In Proceedings of ACM Conference on Lisp and Functional Programming, pages 409-423, 1984.
19. [MFH01] S. McDirmid, M. Flatt, and W. Hsieh. Jiazzi: New-age components for old-fashioned Java. In Proc. of OOPSLA, October 2001.
20. [RS02] Ran Rinat and Scott Smith. Modular internet programming with cells. In Proceedings of the Sixteenth ECOOP, June 2002.
21. [SPW03] Nigamanth Sridhar, Scott M. Pike, and Bruce W. Weide. Dynamic module replacement in distributed protocols. In Proceedings of the 23rd International Conference on Distributed Computing Systems, May 2003.
22. [Szy98] Clemens Szyperski. Component Software: Beyond Object-Oriented Programming. ACM Press and Addison-Wesley, New York, NY, 1998.
23. [WV00] J. B. Wells and René Vestergaard. Equational reasoning for linking with first-class primitive modules. In Programming Languages and Systems, 9th European Symp. Programming, volume 1782, 2000.