Concurrent abstract predicates
Abstraction is key to understanding and reasoning about large computer systems.
Abstraction is simple to achieve if the relevant data structures are disjoint, but rather difficult …
Abstraction is simple to achieve if the relevant data structures are disjoint, but rather difficult …
The next 700 separation logics
M Parkinson - … Conference on Verified Software: Theories, Tools, and …, 2010 - Springer
In recent years, separation logic has brought great advances in the world of verification.
However, there is a disturbing trend for each new library or concurrency primitive to require …
However, there is a disturbing trend for each new library or concurrency primitive to require …