A New Type System for JVM Lock Primitives.

Futoshi Iwama Naoki Kobayashi

Published in: New Gener. Comput. (2008)

Keyphrases

virtual machine
real world
low level
search engine
case study
relational databases
database management systems