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
Electronic Edition (link) BibTeX
- Martín Abadi, Bruno Blanchet:
Computer-assisted verification of a protocol for certified email.
3-27
Electronic Edition (link) BibTeX
- Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella:
Precise widening operators for convex polyhedra.
28-56
Electronic Edition (link) BibTeX
- John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav:
Typestate verification: Abstraction techniques and complexity results.
57-82
Electronic Edition (link) BibTeX
- Samuel Z. Guyer, Calvin Lin:
Error checking with client-driven pointer analysis.
83-114
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Oukseh Lee, Hongseok Yang, Kwangkeun Yi:
Static insertion of safe and effective memory reuse commands into ML-like programs.
141-178
Electronic Edition (link) BibTeX
- David Monniaux:
Abstract interpretation of programs as Markov decision processes.
179-205
Electronic Edition (link) BibTeX
- Thomas W. Reps, Stefan Schwoon, Somesh Jha, David Melski:
Weighted pushdown systems and their application to interprocedural dataflow analysis.
206-263
Electronic Edition (link) BibTeX
- Ran Shaham, Eran Yahav, Elliot K. Kolodner, Mooly Sagiv:
Establishing local temporal heap safety properties with applications to compile-time memory management.
264-289
Electronic Edition (link) BibTeX
Volume 58,
Number 3,
December 2005
Special Issue on Concurrency and synchonization in Java programs
Copyright © Sun May 17 00:18:42 2009
by Michael Ley (ley@uni-trier.de)
