Electronic Notes in Theoretical Computer Science, Volume 131

Volume 131, May 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