![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
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, Timothy J. Halloran, William L. Scherlis:
Observations on the assured evolution of concurrent Java programs. 384-411
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.