Types for Atomicity: Static Checking and Inference for Java

by Cormac Flanagan , Stephen N. Freund , Marina Lifshin
Citations:15 - 6 self