Science of Computer Programming, Volume 58

Volume 58, Numbers 1-2, October 2005

• Radhia Cousot:
  Static Analysis Symposium 2003. 1-2
  
• Martín Abadi, Bruno Blanchet:
  Computer-assisted verification of a protocol for certified email. 3-27
  
• Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella:
  Precise widening operators for convex polyhedra. 28-56
  
• John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav:
  Typestate verification: Abstraction techniques and complexity results. 57-82
  
• Samuel Z. Guyer, Calvin Lin:
  Error checking with client-driven pointer analysis. 83-114
  
• Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García:
  Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). 115-140
  
• Oukseh Lee, Hongseok Yang, Kwangkeun Yi:
  Static insertion of safe and effective memory reuse commands into ML-like programs. 141-178
  
• David Monniaux:
  Abstract interpretation of programs as Markov decision processes. 179-205
  
• Thomas W. Reps, Stefan Schwoon, Somesh Jha, David Melski:
  Weighted pushdown systems and their application to interprocedural dataflow analysis. 206-263
  
• Ran Shaham, Eran Yahav, Elliot K. Kolodner, Mooly Sagiv:
  Establishing local temporal heap safety properties with applications to compile-time memory management. 264-289
  

Volume 58, Number 3, December 2005

• Mark Moir, Nir Shavit, Jan Vitek:
  Concurrency and synchronization in Java programs. 291-292
  
• Doug Lea:
  The java.util.concurrent synchronizer framework. 293-309
  
• Christopher Cole, Maurice Herlihy:
  Snapshots and software transactional memory. 310-324
  
• Tim Harris:
  Exceptions and side-effects in atomic blocks. 325-343
  
• Abdelsalam Shanneb, John Potter, James Noble:
  Exclusion requirements and potential concurrency for composite objects. 344-365
  
• James Rose, Nikhil Swamy, Michael Hicks:
  Dynamic inference of polymorphic lock types. 366-383
  
• Aaron Greenhouse, T. J. Halloran, William L. Scherlis:
  Observations on the assured evolution of concurrent Java programs. 384-411
  

Last update Sat May 18 20:52:10 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page