Role analysis.

Viktor Kuncak, Patrick Lam, Martin C. Rinard

Browse the full POPL paper archive.