Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience 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
a service of 
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.
last updated on 2024-06-26 20:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
