Volume 58,
Numbers 1-2,
October 2005
Special Issue on the Static Analysis Symposium 2003 - SAS'03
- 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
Special Issue on Concurrency and synchonization in Java programs
Copyright © Tue Feb 9 19:48:06 2010
by Michael Ley (ley@uni-trier.de)
