TY  - RPRT
TI  - Logical Characterizations of Heap Abstractions
AU  - G. Yorsh
AU  - T. Reps
AU  - M. Sagiv
AU  - R. Wilhelm
PY  - 2005
UR  - https://arxiv.org/abs/cs/0312014
ID  - cs/0312014
ER  -