On Generalized Records and Spatial Conjunction in Role Logic (2004)

by Viktor Kuncak , Martin Rinard
Venue:In 11th Annual International Static Analysis Symposium (SAS’04
Citations:9 - 4 self