A Parameterized Type System for Race-Free Java Programs

Chandrasekhar Boyapati, Martin C. Rinard. A Parameterized Type System for Race-Free Java Programs. In OOPSLA. pages 56-69, 2001.

Abstract

Abstract is missing.