{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T23:40:03Z","timestamp":1740354003783,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221593"},{"type":"electronic","value":"9783540248514"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24851-4_19","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T20:36:03Z","timestamp":1281299763000},"page":"415-439","source":"Crossref","is-referenced-by-count":9,"title":["Modules with Interfaces for Dynamic Linking and Communication"],"prefix":"10.1007","author":[{"given":"Yu David","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott F.","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"19_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology\u00a06(3), 213\u2013249 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Aldrich, J., Sazawal, V., Chambers, C., Notkin, D.: Language support for connector abstractions. In: Proceedings of the Seventeenth European Conference on Object-Oriented Programming (June 2003)","DOI":"10.1007\/978-3-540-45070-2_5"},{"key":"19_CR3","first-page":"91","volume":"11","author":"D. Ancona","year":"2002","unstructured":"Ancona, D., Zucca, E.: A calculus of module systems. Journal of functional programming\u00a011, 91\u2013132 (2002)","journal-title":"Journal of functional programming"},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1145\/97945.97982","volume-title":"Proceedings of OOPSLA\/ECOOP","author":"G. Bracha","year":"1990","unstructured":"Bracha, G., Cook, W.: Mixin-based inheritance. In: Meyrowitz, N. (ed.) Proceedings of OOPSLA\/ECOOP, Ottawa, Canada, pp. 303\u2013311. ACM Press, New York (1990)"},{"key":"19_CR5","unstructured":"Bierman, G., Hicks, M., Sewell, P., Stoyle, G.: Formalizing dynamic software updating (2003)"},{"key":"19_CR6","unstructured":"Bloom, T.: Dynamic module replacement in a distributed programming system. Technical Report MIT\/LCS\/TR-303 (1983)"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Cardelli, L.: Program fragments, linking, and modularization. In: Conference Record of POPL 1997: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 266\u2013277 (1997)","DOI":"10.1145\/263699.263735"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Corwin, J., Bacon, D.F., Grove, D., Murthy, C.: 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, pp. 241\u2013254 (2003)","DOI":"10.1145\/949305.949326"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Drossopoulou, S., Eisenbach, S., Wragg, D.: A fragment calculus towards a model of separate compilation, linking and binary compatibility. Logic in Computer Science, 147\u2013156 (1999)","DOI":"10.1109\/LICS.1999.782606"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Drossopoulou, S., Lagorio, G., Eisenbach, S.: Flexible models for dynamic linking. In: 12th European Symposium on Programming (2003)","DOI":"10.1007\/3-540-36575-3_4"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Duggan, D., Sourelis, C.: Mixin modules. In: Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP 1996), vol.\u00a031(6), pp. 262\u2013273 (1996)","DOI":"10.1145\/232627.232654"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Flatt, M., Felleisen, M.: Units: Cool modules for HOT languages. In: Proceedings of the ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation, pp. 236\u2013248 (1998)","DOI":"10.1145\/277650.277730"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Hirschowitz, T., Leroy, X.: Mixin modules in a call-by-value setting. In: European Symposium on Programming, pp. 6\u201320 (2002)","DOI":"10.1007\/3-540-45927-8_2"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Hicks, M.W., Moore, J.T., Nettles, S.: Dynamic software updating. In: SIGPLAN Conference on Programming Language Design and Implementation, pp. 13\u201323 (2001)","DOI":"10.1145\/378795.378798"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Hill, J., Szewczyk, R., Woo, A., Hollar, S., Culler, D.E., Pister, K.S.J.: System architecture directions for networked sensors. In: Architectural Support for Programming Languages and Operating Systems, pp. 93\u2013104 (2000)","DOI":"10.1145\/378993.379006"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Liang, S., Bracha, G.: Dynamic class loading in the Java virtual machine. In: Conference on Object-oriented programming, systems, languages, and applications (OOPSLA 1998), pp. 36\u201344 (1998)","DOI":"10.1145\/286936.286945"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Liu, Y.D., Smith, S.F.: Modules With Interfaces for Dynamic Linking and Communication (long version) Technical report, Baltimore, Maryland (March 2004), http:\/\/www.cs.jhu.edu\/~scott\/pll\/assemblage\/asm.pdf","DOI":"10.1007\/978-3-540-24851-4_19"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"MacQueen, D.: Modules for Standard ML. In: Proceedings of ACM Conference on Lisp and Functional Programming, pp. 409\u2013423 (1984)","DOI":"10.1145\/800055.802036"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"McDirmid, S., Flatt, M., Hsieh, W.: Jiazzi: New-age components for old-fashioned Java. In: Proc. of OOPSLA (October 2001)","DOI":"10.1145\/504282.504298"},{"key":"19_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/3-540-47993-7_12","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"R. Rinat","year":"2002","unstructured":"Rinat, R., Smith, S.: Modular internet programming with cells. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, p. 257. Springer, Heidelberg (2002)"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Sridhar, N., Pike, S.M., Weide, B.W.: Dynamic module replacement in distributed protocols. In: Proceedings of the 23rd International Conference on Distributed Computing Systems (May 2003)","DOI":"10.1109\/ICDCS.2003.1203513"},{"key":"19_CR22","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"1998","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming. ACM Press and Addison-Wesley, New York (1998)"},{"key":"19_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1007\/3-540-46425-5_27","volume-title":"Programming Languages and Systems","author":"J.B. Wells","year":"2000","unstructured":"Wells, J.B., Vestergaard, R.: Equational reasoning for linking with first-class primitive modules. In: Smolka, G. (ed.) ESOP 2000. LNCS, vol.\u00a01782, p. 412. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2004 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24851-4_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T23:17:30Z","timestamp":1740352650000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24851-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221593","9783540248514"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24851-4_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}