Type Systems for Distributed Data Sharing (2001)

by Ben Liblit , Alex Aiken , Katherine Yelick
Venue:In International Static Analysis Symposium
Citations:16 - 5 self