{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:01:28Z","timestamp":1725552088275},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540305170"},{"type":"electronic","value":"9783540322818"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11590712_12","type":"book-chapter","created":{"date-parts":[[2005,11,2]],"date-time":"2005-11-02T09:14:13Z","timestamp":1130922853000},"page":"149-163","source":"Crossref","is-referenced-by-count":5,"title":["A Model of Dynamic Binding in .NET"],"prefix":"10.1007","author":[{"given":"Alex","family":"Buckley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Buckley, A., Drossopoulou, S.: Flexible Dynamic Linking. In: ECOOP Workshop on Formal Techniques for Java Programs (FTfJP 2004), Oslo, Norway (June 2004)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Buckley, A., Murray, M., Eisenbach, S., Drossopoulou, S.: Flexible Bytecode for Linking in .NET. In: First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2005), Edinburgh, Scotland. ENTCS. Elsevier BV, Amsterdam (2005)","DOI":"10.1016\/j.entcs.2005.02.036"},{"key":"12_CR3","unstructured":"Cook, S.: .NET CLR Loader Notes (2005), http:\/\/blogs.msdn.com\/suzcook"},{"key":"12_CR4","unstructured":"de Icaza, M.: Mono (2005), http:\/\/www.mono-project.com\/"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Dean, D.: The Security of Static Typing with Dynamic Linking. In: Proceedings of the Fourth ACM Conference on Computer and Communications Security, Zurich, Switzerland (April 1997)","DOI":"10.1145\/266420.266428"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/3-540-36575-3_4","volume-title":"Programming Languages and Systems","author":"S. Drossopoulou","year":"2003","unstructured":"Drossopoulou, S., Lagorio, G., Eisenbach, S.: Flexible Models for Dynamic Linking. In: Degano, P. (ed.) ESOP 2003. LNCS, vol.\u00a02618, pp. 38\u201353. Springer, Heidelberg (2003)"},{"key":"12_CR7","unstructured":"ECMA. Standard ECMA-335: Common Language Infrastructure. ECMA International (December 2002), http:\/\/www.ecma-international.org\/publications\/standards\/Ecma-335.htm"},{"key":"12_CR8","unstructured":"Eisenbach, S., Jurisic, V., Sadler, C.: Feeling the way through DLL Hell. In: Proceedings of the First Workshop on Unanticipated Software Evolution (USE 2002), Malaga, Spain (June 2002)"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Eisenbach, S., Jurisic, V., Sadler, C.: Managing the Evolution of .NET Programs. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 185\u2013198. Springer, Heidelberg (2003)","DOI":"10.1007\/978-3-540-39958-2_13"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Fagorzi, S., Zucca, E., Ancona, D.: Modeling Multiple Class Loaders by a Calculus for Dynamic Linking. In: Proceedings of the ACM Symposium on Applied Computing (SAC 2004), Nicosia, Cyprus (March 2004)","DOI":"10.1145\/967900.968161"},{"key":"12_CR11","unstructured":"Farkas, S.: .NET Security Blog (2005), http:\/\/blogs.msdn.com\/shawnfa"},{"key":"12_CR12","unstructured":"Gero, C., Richter, J.: The Future of Assembly Versioning (2004), http:\/\/www.theserverside.net\/articles\/showarticle.tss?id=AssemblyVersioning"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Jensen, T., Le Metayer, D., Thorn, T.: Security and Dynamic Class Loading in Java: A Formalisation. In: Proceedings of the IEEE International Conference on Computer Languages, Chicago, IL, USA, pp. 4\u201315 (1998)","DOI":"10.1109\/ICCL.1998.674152"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Liang, S., Bracha, G.: Dynamic Class Loading in the Java Virtual Machine. In: Proceedings of the 13th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 1998), Vancouver, BC, Canada (October 1998)","DOI":"10.1145\/286936.286945"},{"key":"12_CR15","unstructured":"Meijer, E., Gough, J.: Technical Overview of the Common Language Runtime. Microsoft (2000)"},{"key":"12_CR16","unstructured":"Moth, D.: (2004), http:\/\/www.danielmoth.com\/Blog"},{"key":"12_CR17","unstructured":"Pratschner, S.: .NET CF WebLog (2005), http:\/\/blogs.msdn.com\/stevenpr"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Qian, Z., Goldberg, A., Coglio, A.: A Formal Specification of Java Class Loading. In: Proceedings of the 15th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 2000), Minneapolis, MN, USA, pp. 325\u2013336 (2000)","DOI":"10.1145\/353171.353193"},{"key":"12_CR19","unstructured":"Shi, A.: The Fusion Weblog (2005), http:\/\/blogs.msdn.com\/alanshi"},{"key":"12_CR20","unstructured":"Zhang, J.: .NET Framework Notes (2005), http:\/\/blogs.msdn.com\/junfeng"}],"container-title":["Lecture Notes in Computer Science","Component Deployment"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11590712_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:51:23Z","timestamp":1619506283000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11590712_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540305170","9783540322818"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11590712_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}