Type inference for locality analysis of distributed data structures
Satish Chandra, Vijay Saraswat, Vivek Sarkar, Rastislav Bodík · 2008
In languages with distributed heap data structures, the type system typically conveys only coarse locality information: whether a reference is local or possibly remote. Often, of interest to the optimizing compiler or the user is a more fine-grain information, such as whether two remote references point to objects in the same partition of the distributed heap.