@misc{indiciae957e84adb442,
  title = {Generically Automating Separation Logic by Functors, Homomorphisms and Modules},
  author = {Qiyuan Xu and David Sanan and Zhe Hou and Xiaokun Luan and Conrad Watt and Yang Liu},
  year = {2025},
  doi = {10.1145/3704903},
  url = {https://arxiv.org/abs/2411.06094},
  note = {Source identifier: 2411.06094}
}