Local Reasoning for Storable Locks and Threads

Alexey Gotsman; Josh Berdine; Byron Cook; Noam Rinetzky; Mooly Sagiv

doi:10.1007/978-3-540-76637-7_3

ScienceGate Book Chapters

BOOK-CHAPTER

Local Reasoning for Storable Locks and Threads

Alexey Gotsman Josh Berdine Byron Cook Noam Rinetzky Mooly Sagiv

Year: 2007 Lecture notes in computer science Pages: 19-37 Publisher: Springer Science+Business Media

DOI: 10.1007/978-3-540-76637-7_3

Get Full-Text PDF Get Analytical Report

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)

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

Local Reasoning for Storable Locks and Threads

Metrics

Citation History

Topics

Related Documents

Local reasoning about storable locks

Reasoning About Threads Communicating via Locks

Step-Indexed Kripke Model of Separation Logic for Storable Locks

Reasoning about Java’s Reentrant Locks

A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks