Volume 131, May 2005

Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages (AIOOL 2005)

• 
  Agostino Cortesi, Francesco Logozzo: Preface. 1-2
• 
  Cyrille Artho, Armin Biere: Combined Static and Dynamic Analysis. 3-14
• 
  Coen De Roover, Kris Gybels, Theo D'Hondt: Towards Abstract Interpretation for Recovering Design Information. 15-25
• 
  Andreas Gal, Christian W. Probst, Michael Franz: Integrated Java Bytecode Verification. 27-38
• 
  Ali Habibi, Sofiène Tahar: On the Transformation of SystemC to AsmL Using Abstract Interpretation. 39-49
• 
  Viktor Kuncak, Martin C. Rinard: Decision Procedures for Set-Valued Fields. 51-62
• 
  Bor-Yuh Evan Chang, K. Rustan M. Leino: Inferring Object Invariants: Extended Abstract. 63-74
• 
  Francesco Logozzo, Agostino Cortesi: Abstract Interpretation and Object-oriented Programming: Quo Vadis? 75-84
• 
  Isabelle Pollet, Baudouin Le Charlier: Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation. 85-98
• 
  Guillaume Salagnac, Sergio Yovine, Diego Garbervetsky: Fast Escape Analysis for Region-based Memory Management. 99-110
• 
  Christian Skalka, Scott F. Smith, David Van Horn: A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract). 111-124
• 
  Greta Yorsh, Alexey Skidanov, Thomas W. Reps, Shmuel Sagiv: Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work. 125-138