Stephen N. Freund and Shaz Qadeer. Checking concise specifications for multithreaded software. Journal of Object Technology, 3(6):81-- 101, June 2004. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs - Flanagan, Freund (2004) (5 citations) Self-citation (Freund) (Correct)
No context found.
S. N. Freund and S. Qadeer. Checking concise specifications for multithreaded software. In Workshop on Formal Techniques for Java-like Programs, 2003.
Transactions for Software Model Checking - Flanagan, Qadeer (2003) Self-citation (Qadeer) (Correct)
No context found.
S. N. Freund and S. Qadeer. Checking concise specifications for multithreaded software. Technical Note 01-2002, Williams College, December 2002.
A Type and Effect System for Atomicity - Flanagan, Qadeer (2003) (4 citations) Self-citation (Qadeer) (Correct)
No context found.
S. N. Freund and S. Qadeer. Checking concise specifications for multithreaded software. Technical Note 01-2002, Williams College, December 2002.
Summarizing Procedures in Concurrent Programs - Qadeer, Rajamani, Rehof (2004) (2 citations) Self-citation (Qadeer) (Correct)
No context found.
S. N. Freund and S. Qadeer. Checking concise specifications for multithreaded software. In FTfJP 03: Formal Techniques for Java-like Programs, 2003.
Safe Concurrency for Aggregate Objects with Invariants - Bart Jacobs Rustan (2005) (Correct)
No context found.
Stephen N. Freund and Shaz Qadeer. Checking concise specifications for multithreaded software. Journal of Object Technology, 3(6):81-- 101, June 2004.
Unknown - (Correct)
No context found.
Stephen N. Freund and Shaz Qadeer. Checking Concise Specifications for Multithreaded Software. Journal of Object Technology, 3(6):81--101, June 2004.
Verifying Commit-Atomicity Using Model-Checking - Flanagan (2004) (Correct)
No context found.
S. N. Freund and S. Qadeer. Checking concise specifications for multithreaded software. In Workshop on Formal Techniques for Java-like Programs, 2003.
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