TY  - RPRT
TI  - Generically Automating Separation Logic by Functors, Homomorphisms and Modules
AU  - Qiyuan Xu
AU  - David Sanan
AU  - Zhe Hou
AU  - Xiaokun Luan
AU  - Conrad Watt
AU  - Yang Liu
PY  - 2025
DO  - 10.1145/3704903
UR  - https://arxiv.org/abs/2411.06094
ID  - 2411.06094
ER  -