Login / Signup
Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References.
Kohei Suenaga
Published in:
APLAS (2008)
Keyphrases
</>
structured data
low level
machine learning
high level
real world
database systems
document images
model checking
verification method