31 citations · 39 across the 3 of their papers we have counts for
1 paper · 1 filter
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…