Role analysis. (2002)

by V Kuncak, P Lam, M Rinard
Venue:In Annual ACM Symp. on Principles of Programming Languages (POPL),