TY  - RPRT
TI  - Precise Reasoning About Container-Internal Pointers with Logical Pinning
AU  - Yawen Guan
AU  - Clément Pit-Claudel
PY  - 2025
DO  - 10.1145/3779031.3779096
UR  - https://arxiv.org/abs/2509.23229
ID  - 2509.23229
ER  -