TY  - RPRT
TI  - Structuring the Synthesis of Heap-Manipulating Programs - Extended Version
AU  - Nadia Polikarpova
AU  - Ilya Sergey
PY  - 2018
DO  - 10.1145/3290385
UR  - https://arxiv.org/abs/1807.07022
ID  - 1807.07022
ER  -