Efficient contextsensitive shape analysis with graph based heap models (2008)

by M Marron, M Hermenegildo, D Kapur, D Stefanovic
Venue:In CC: Compiler Construction, 17th International Conference, LNCS