A model of dynamic binding in .NET

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

Volumn 3798 LNCS, Issue , 2005, Pages 149-163

  Buckley, Alex ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

.NET; DYNAMIC LOADING; OPEN-SOURCE MONO ORGANISATION;

COMPUTER OPERATING SYSTEMS; COMPUTER SIMULATION; MATHEMATICAL MODELS; SOCIETIES AND INSTITUTIONS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33646826177     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11590712_12     Document Type: Conference Paper

References (20)

1. Alex Buckley and Sophia Drossopoulou. Flexible Dynamic Linking. In ECOOP Workshop on Formal Techniques for Java Programs (FTfJP 2004), Oslo, Norway, June 2004.
2. Alex Buckley, Michelle Murray, Susan Eisenbach, and Sophia Drossopoulou. Flexible Bytecode for Linking in .NET. In First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 8005), ENTCS, Edinburgh, Scotland, March 2005. Elsevier BV.
3. Suzanne Cook. .NET CLR Loader Notes, http://blogs.msdn.com/suzcook, 2005.
4. Miguel de Icaza. Mono, http://www.mono-project.com/, 2005.
5. Drew Dean. The Security of Static Typing with Dynamic Linking. In Proceedings of the Fourth ACM Conference on Computer and Communications Security, Zurich, Switzerland, April 1997.
6. Sophia Drossopoulou, Giovanni Lagorio, and Susan Eisenbach. Flexible Models for Dynamic Linking. In Pierpaolo Degano, editor, Proceedings of the 12th European Symposium on Programming (ESOP 2003), volume 2618 of LNCS, pages 38-53. Springer-Verlag, April 2003.
7. ECMA. Standard ECMA-335: Common Language Infrastructure. ECMA International, December 2002. http://www.ecma-international.org/publications/ standards/Ecma-335.htm.
8. S. Eisenbach, V. Juriste, and C. Sadler. Feeling the way through DLL Hell. In Proceedings of the First Workshop on Unanticipated Software Evolution (USE 2002), Malaga, Spain, June 2002.
9. S. Eisenbach, V. Jurisic, and C. Sadler. Managing the Evolution of .NET Programs. In 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS 2003), volume 2884 of LNCS, pages 185-198, Paris, France, November 2003. Springer-Verlag.
10. Sonia Fagorzi, Elena Zucca, and Davide Ancona. Modeling Multiple Class Loaders by a Calculus for Dynamic Linking. In Proceedings of the ACM Symposium on Applied Computing (SAC-8004), Nicosia, Cyprus, March 2004.
11. Shawn Farkas. .NET Security Blog. http://blogs.msdn.com/shawnfa, 2005.
12. Cathi Gero and Jeffrey Richter. The Future of Assembly Versioning. http://www.theserverside.net/articles/showarticle.tss?id=AssemblyVersioning, 2004.
13. T. Jensen, D. Le Metayer, and T. Thorn. Security and Dynamic Class Loading in Java: A Formalisation. In Proceedings of the IEEE International Conference on Computer Languages, pages 4-15, Chicago, IL, USA, 1998.
14. Sheng Liang and Gilad Bracha. Dynamic Class Loading in the Java Virtual Machine. In Proceedings of the 13th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA '98), Vancouver, BC, Canada, October 1998.
15. Eric Meijer and John Gough. Technical Overview of the Common Language Runtime, Microsoft, 2000.
16. Daniel Moth. http://www.danielmoth.com/Blog, 2004.
17. Steven Pratschner. .NET CF WebLog. http://blogs.msdn.com/stevenpr, 2005.
18. Zhenyu Qian, Allen Goldberg, and Alessandro Coglio. A Formal Specification of Java Class Loading. In Proceedings of the 15th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 2000), pages 325-336, Minneapolis, MN, USA, 2000.
19. Alan Shi. The Fusion Weblog. http://blogs.msdn.com/alanshi, 2005.
20. Junfeng Zhang. .NET Framework Notes, http://blogs.madn.com/junfeng, 2005.