Efficient context-sensitive shape analysis with graph based heap models (2008)

by Mark Marron , Manuel Hermenegildo , Deepak Kapur , Darko Stefanovic
Venue:In Compiler Construction (CC
Citations:14 - 5 self