Flexible bytecode for linking in .NET

Electronic Notes in Theoretical Computer Science

Volumn 141, Issue 1 SPEC. ISS., 2005, Pages 75-92

  Buckley, Alex ^a   Murray, Michelle ^a   Eisenbach, Susan ^a   Drossopoulou, Sophia ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

.NET; CLR; Flexible dynamic linking; Type variables

Indexed keywords

COMPUTER PROGRAMMING; COSTS; DECISION MAKING; SUPERVISORY AND EXECUTIVE PROGRAMS;

.NET; CLR; FLEXIBLE DYNAMIC LINKING; TYPE VARIABLES;

CODES (SYMBOLS);

EID: 28044458328     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.02.036     Document Type: Article

References (24)

1. Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, and Elena Zucca. Polymorphic Bytecode: Compositional Compilation for Java-like Languages. In Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2005), Long Beach, CA, USA, January 2005
2. Giuseppe Attardi, Antonio Cisternino, and Diego Colombo CIL + Metadata gt Executable Program Journal of Object Technology 3 2 February 2004 19 26 Special issue:.NET: The Programmers Perspective: ECOOP Workshop 2003
3. Giuseppe Attardi, Antonio Cisternino, and Andrew Kennedy. Code Bricks: Code Fragments as Building Blocks. In Proceedings of the 2003 SIGPLAN Workshop on Partial Evaluation and Semantic-based Program Manipulation (PEPM 2003), San Diego, CA, USA, June 2003
4. Gilad Bracha, Martin Odersky, David Stoutamire, and Philip Wadler. Making the future safe for the past: Adding Genericity to the Java Programming Language. In Proceedings of the 13th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA'98), Vancouver, BC, Canada, October 1998
5. Alex Buckley and Sophia Drossopoulou. Flexible Dynamic Linking. In ECOOP Workshop on Formal Techniques for Java Programs (FTfJP 2004), Oslo, Norway, June 2004
6. Shigeru Chiba Load-time Structural Reflection in Java Proceedings of the 14th European Conference on Object-Oriented Programming (ECOOP 2000), Cannes, France LNCS volume 1850 June 2000 Springer Verlag 313 336
7. 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
8. Sophia Drossopoulou An Abstract Model of Java Dynamic Linking and Loading Robert Harper Proceedings of the Third International Workshop on Types in Compilation (TIC 2000) LNCS volume 2071 2000 Springer-Verlag 53 84
9. Sophia Drossopoulou and Susan Eisenbach. Manifestations of Dynamic Linking. In Proceedings of the First Workshop on Unanticipated Software Evolution (USE 2002), Malaga, Spain, June 2002
10. Sophia Drossopoulou, Giovanni Lagorio, and Susan Eisenbach Flexible Models for Dynamic Linking Pierpaolo Degano Proceedings of the 12th European Symposium on Programming (ESOP 2003) LNCS volume 2618 April 2003 Springer-Verlag 38 53
11. ECMA. Standard ECMA-335: Common Language Infrastructure. ECMA International, December 2002
12. S. Eisenbach, V. Jurisic, 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
13. Michael Franz Dynamic Linking of Software Components IEEE Computer March 1997 74 81
14. 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
15. Andrew Kennedy and Don Syme. The Design and Implementation of generics for the.NET Common Language Runtime. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2001), Snowbird, UT, USA, June 2001
16. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, and William G. Griswold. An Overview of AspectJ. In Proceedings of the 15th European Conference on Object-Oriented Programming (ECOOP 2001), Budapest, Hungary, June 2001
17. Tim Lindholm, and Frank Yellin The Java Virtual Machine 1999 Addison-Wesley
18. Eric Meijer and John Gough. Technical Overview of the Common Language Runtime. Microsoft, 2000
19. Aleksandr Mikunov. Rewrite MSIL Code on the Fly with the.NET Framework Profiling API. MSDN Magazine, September 2003
20. Frank Piessens, Bart Jacobs, Eddy Truyen, and Wouter Joosen Support for Metadata-driven Selection of Run-time Services in.NET is Promising but Immature Journal of Object Technology 3 2 February 2004 27 35 Special issue:.NET: The Programmers Perspective: ECOOP Workshop 2003
21. Robert Seacord and Lutz Wrage. Replaceable Components and the Service Provider Interface. Technical Note CMU/SEI-2002-TN-009, Carnegie Mellon/SEI, July 2002
22. Zhong Shao and Andrew W. Appel. Smartest Recompilation. In Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles Of Programming Languages (POPL'93), pages 439-450, Charleston, SC, USA, 1993
23. Éric Tanter, Marc Ségura-Devillechaise, Jacques Noyé, and José Piquer Altering Java Semantics via Bytecode Manipulation Proceedings of the ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE 2002), Pittsburgh, PA, USA LNCS volume 2487 October 2002 Springer-Verlag 283 298
24. Frank Tip, Adam Kiezun, and Dirk Baumer. Refactoring for Generalization using Type Constraints. In Proceedings of the 18th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 2003), Anaheim, CA, USA, October 2003