Sciweavers

Share
TOPLAS
2008

Types for atomicity: Static checking and inference for Java

9 years 7 months ago
Types for atomicity: Static checking and inference for Java
Cormac Flanagan, Stephen N. Freund, Marina Lifshin
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2008
Where TOPLAS
Authors Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer
Comments (0)
books