Generalized records and spatial conjunction in role logic (2004)

by V Kuncak, M Rinard
Venue:In Static Analysis Symp