Iwama Futoshi

Futoshi Iwama, Naoki Kobayashi. A New Type System for JVM Lock Primitives (full version) (ps.gz)

Author : Futoshi Iwama < iwama@kb.cs.titech.ac.jp >