TY  - RPRT
TI  - A Logic of Reachable Patterns in Linked Data-Structures
AU  - Greta Yorsh
AU  - Alexander Rabinovich
AU  - Mooly Sagiv
AU  - Antoine Meyer
AU  - Ahmed Bouajjani
PY  - 2007
DO  - 10.1007/11690634_7
UR  - https://arxiv.org/abs/0705.3610
ID  - 0705.3610
ER  -