Role analysis (2002)

by Viktor Kuncak, Patrick Lam, Martin Rinard
Venue:In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL