Type Systems for Distributed Data Sharing (2001)

by Ben Liblit, Alex Aiken, Katherine Yelick
Venue:In International Static Analysis Symposium