Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References.

Kohei Suenaga

Browse the full APLAS paper archive.