@misc {IOPORT.70840377,
    author       = {Rinetzky, Noam and Sagiv, Mooly and Yahav, Eran},
    title        = {Interprocedural shape analysis for cutpoint-free programs},
    howpublished = {SAS, 284-302 (2005).},
    year         = {2005},
    doi          = {10.1007/11547662_20},
    identifier   = {70840377},
}