Reasoning about Java’s Reentrant Locks (original) (raw)
Related papers
Revocation techniques for Java concurrency
2005
A decision procedure for detecting atomicity violations for communicating processes with locks
International Journal on Software Tools for Technology Transfer, 2011
Verification for Java's Reentrant Multithreading Concept: Soundness and Completeness
2002
Towards automatic proofs of lock-free algorithms
2008
Safe Locking for Multi-threaded Java
Lecture Notes in Computer Science, 2012
Refactoring Java programs for flexible locking
Proceeding of the 33rd international conference on Software engineering - ICSE '11, 2011
Transparently Reconciling Transactions with Locking for Java Synchronization
Lecture Notes in Computer Science, 2006
Local Reasoning for Storable Locks and Threads
Lecture Notes in Computer Science
Verification for Java's Reentrant Multithreading Concept
… of Software Science …, 2002
Permission-Based Separation Logic for Message-Passing Concurrency
Logical Methods in …, 2011
Data flow analysis for checking properties of concurrent Java programs
Proceedings of the 21st …, 1999
Synchronizing Java threads using assertions
Technology of Object- …, 1999
2010
An Assertional Proof System for Multithreaded Java
An assertional proof system for multithreaded Java: Theory and tool support
A program logic for resource verification
Theorem Proving in …, 2004
Declarative concurrency in Java
Lecture Notes in Computer Science, 2000
A Tool-Supported Proof System for Multithreaded Java
Formal Methods for …, 2003
Deadlock freedom through object ownership
International Workshop on …, 2009
Variable Permissions for Concurrency Verification
A linear concurrent constraint approach for the automatic verification of access permissions
Proceedings of the 14th symposium on Principles and practice of declarative programming - PPDP '12, 2012
A Deductive Proof System for Multithreaded Java With Exceptions
Fundamenta …, 2008
Verifiable concurrent programming using concurrency controllers
Proceedings. 19th International Conference on Automated Software Engineering, 2004., 2004