Transforming Java programs for concurrency using Double-Checked Locking pattern.

Kazuaki Ishizaki, Shahrokh Daijavad, Toshio Nakatani

Browse the full ISPASS paper archive.