A Type and Effect System for Deterministic Parallel Java (0)

by R L Bocchino, V S Adve, D Dig, S Adve, S Heumann, R Komuravelli, J Overbey, P Simmons, H Sung, M Vakilian