|
Journals in DBLP
- Radhia Cousot
Static Analysis Symposium 2003. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2005, v:58, n:1-2, pp:1-2 [Journal]
- Martín Abadi, Bruno Blanchet
Computer-assisted verification of a protocol for certified email. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2005, v:58, n:1-2, pp:3-27 [Journal]
- Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella
Precise widening operators for convex polyhedra. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2005, v:58, n:1-2, pp:28-56 [Journal]
- John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav
Typestate verification: Abstraction techniques and complexity results. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2005, v:58, n:1-2, pp:57-82 [Journal]
- Samuel Z. Guyer, Calvin Lin
Error checking with client-driven pointer analysis. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2005, v:58, n:1-2, pp:83-114 [Journal]
- 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). [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2005, v:58, n:1-2, pp:115-140 [Journal]
- Oukseh Lee, Hongseok Yang, Kwangkeun Yi
Static insertion of safe and effective memory reuse commands into ML-like programs. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2005, v:58, n:1-2, pp:141-178 [Journal]
- David Monniaux
Abstract interpretation of programs as Markov decision processes. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2005, v:58, n:1-2, pp:179-205 [Journal]
- Thomas W. Reps, Stefan Schwoon, Somesh Jha, David Melski
Weighted pushdown systems and their application to interprocedural dataflow analysis. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2005, v:58, n:1-2, pp:206-263 [Journal]
- Ran Shaham, Eran Yahav, Elliot K. Kolodner, Mooly Sagiv
Establishing local temporal heap safety properties with applications to compile-time memory management. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2005, v:58, n:1-2, pp:264-289 [Journal]
|