TY  - RPRT
TI  - A separation logic for sequences in pointer programs and its decidability
AU  - Tianyue Cao
AU  - Bowen Zhang
AU  - Zhao Jin
AU  - Yongzhi Cao
AU  - Hanpin Wang
PY  - 2023
UR  - https://arxiv.org/abs/2301.06237
ID  - 2301.06237
ER  -