A new type system for JVM lock primitives.

Futoshi Iwama Naoki Kobayashi

Published in: ASIA-PEPM (2002)

Keyphrases

neural network
high level
low level
building blocks
virtual machine
database
real world
bayesian networks
concurrency control