BOOK-CHAPTER
Reasoning about Java’s Reentrant Locks
Christian HaackMarieke HuismanClément Hurlin
Year: 2008 Lecture notes in computer science Pages: 171-187 Publisher: Springer Science+Business Media
Keywords:
Computer science Separation logic Thread (computing) Programming language Correctness Lock (firearm) Java Distributed computing Reentrancy Parameterized complexity Theoretical computer science Algorithm Operating system
Metrics
44
Cited By
4.10
FWCI (Field Weighted Citation Impact)
29
Refs
0.95
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Security and Verification in Computing
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
Formal Reasoning about Concurrent Assembly Code with Reentrant Locks
Year: 2009 Vol: 4807 Pages: 233-240
BOOK-CHAPTER
Reasoning About Threads Communicating via Locks
Vineet KahlonFranjo IvančićAarti Gupta
Lecture notes in computer science Year: 2005 Pages: 505-518
BOOK-CHAPTER
Verification for Java’s Reentrant Multithreading Concept
Erika ÁbrahámFrank S. de BoerWillem-Paul de RoeverMartín Steffen
Lecture notes in computer science Year: 2002 Pages: 5-20
JOURNAL ARTICLE
Automated Refactoring from Synchronized Locks to Reentrant Locks
Yang ZhangDongwen ZhangHuiyong Wang
Journal: International Journal of Grid and Distributed Computing Year: 2016 Vol: 9 (6)Pages: 71-82