Qadeer, S., Rajamani, S., Rehof, J.: Summarizing procedures in concurrent programs. In: POPL. (2004) Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Verifying Concurrent Message-Passing - Programs With Recursive (Correct)
No context found.
Qadeer, S., Rajamani, S., Rehof, J.: Summarizing procedures in concurrent programs. In: POPL. (2004)
Safe Concurrency for Aggregate Objects with Invariants - Bart Jacobs Rustan (2005) (Correct)
No context found.
Shaz Qadeer, Sriram K. Rajamani, and Jakob Rehof. Summarizing procedures in concurrent programs. In POPL 2004.
Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs - Flanagan, Freund (2004) (5 citations) (Correct)
No context found.
S. Qadeer, S. K. Rajamani, and J. Rehof. Summarizing procedures in concurrent programs. In Proceedings of the ACM Symposium on the Principles of Programming Languages, 2004.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC