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