TY  - RPRT
TI  - Sound and Complete Invariant-Based Heap Encodings (Technical Report)
AU  - Zafer Esen
AU  - Philipp Rümmer
AU  - Tjark Weber
PY  - 2026
DO  - 10.1145/3798228
UR  - https://arxiv.org/abs/2504.15844
ID  - 2504.15844
ER  -