4 citations · 4 across the 1 of their papers we have counts for
1 paper
Viktor Kuncak, Patrick Lam, Martin Rinard
We present a new role system for specifying changing referencing relationships of heap objects. The role of an object depends, in large part, on its aliasing relationships with oth…