BOOK-CHAPTER

Local Reasoning for Storable Locks and Threads

Alexey GotsmanJosh BerdineByron CookNoam RinetzkyMooly Sagiv

Year: 2007 Lecture notes in computer science Pages: 19-37   Publisher: Springer Science+Business Media
Keywords:
Separation logic Heap (data structure) Computer science Concurrency Programming language Concurrent data structure Thread (computing) Parallel computing Theoretical computer science Distributed computing

Metrics

112
Cited By
7.96
FWCI (Field Weighted Citation Impact)
20
Refs
0.98
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
Parallel Computing and Optimization Techniques
Physical Sciences →  Computer Science →  Hardware and Architecture
Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics

Related Documents

JOURNAL ARTICLE

Local reasoning about storable locks

Josh Berdine

Year: 2007 Pages: 153-153
BOOK-CHAPTER

Reasoning About Threads Communicating via Locks

Vineet KahlonFranjo IvančićAarti Gupta

Lecture notes in computer science Year: 2005 Pages: 505-518
JOURNAL ARTICLE

Step-Indexed Kripke Model of Separation Logic for Storable Locks

Alexandre BuisseLars BirkedalKristian Støvring

Journal:   Electronic Notes in Theoretical Computer Science Year: 2011 Vol: 276 Pages: 121-143
BOOK-CHAPTER

Reasoning about Java’s Reentrant Locks

Christian HaackMarieke HuismanClément Hurlin

Lecture notes in computer science Year: 2008 Pages: 171-187
BOOK-CHAPTER

A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks

Cosimo Laneve

Lecture notes in computer science Year: 2018 Pages: 608-624
© 2026 ScienceGate Book Chapters — All rights reserved.