Inproceedings,

A new type system for JVM lock primitives.

, and .
ASIA-PEPM, page 71-82. ACM, (2002)

Meta data

Tags

Users

  • @dblp

Comments and Reviews