Pp. 165–180 of the Proceedings

Next: Abstract

Supporting Binary Compatibility with Static Compilation^*

Dachuan Yu, Zhong Shao, and Valery Trifonov
Department of Computer Science, Yale University
New Haven, CT 06520-8285, U.S.A.
{yu,shao,trifonov}@cs.yale.edu

• • Abstract
  
  
• Introduction
  • Why Static Compilation?
  
  
• Background
• Static Compilation vs Binary Compatibility
  • Scenario A: Adding a Method
  • Scenario B: Removing a Method
  • Scenario C: Binary Change at Run Time
  
  
• Our Approach
  • Virtual Methods
    • Idea
      • Compiler
      • Class loader
      • Example
      • Correctness
  • Fields
  • Interfaces
  • Other Changes
    • Checking constraints
    • Tagging and exception handling
    • Miscellaneous
  
  
• Example Revisited: Programmer & Manager
  • Scenario A Revisited: Adding a Method
  • Scenario B Revisited: Removing a Method
  • Scenario C Revisited: Binary Change at Run Time
  
  
• Algorithm
  • Compiler
  • Class Loader
  
  
• Implementation and Performance Evaluation
• Related Work
• Conclusion
• Acknowledgments
• Bibliography
• About this document ...