Type systems for distributed data sharing. (2003)

by B Liblit, A Aiken, K Yelick
Venue:In Proceedings of the Tenth International Static Analysis Symposium,