A Logic of Reachable Patterns in Linked Data-Structures.

Greta Yorsh Alexander Moshe Rabinovich Mooly Sagiv Antoine Meyer Ahmed Bouajjani A Logic of Reachable Patterns in Linked Data-Structures. 94-110 2006 conf/fossacs/2006 FoSSaCS http://dx.doi.org/10.1007/11690634_7 db/conf/fossacs/fossacs2006.html#YorshRSMB06