TY  - RPRT
TI  - Stellis: A Strategy Language for Purifying Separation Logic Entailments
AU  - Zhiyi Wang
AU  - Xiwei Wu
AU  - Yi Fang
AU  - Chengtao Li
AU  - Hongyi Zhong
AU  - Lihan Xie
AU  - Qinxiang Cao
AU  - Zhenjiang Hu
PY  - 2025
UR  - https://arxiv.org/abs/2512.05159
ID  - 2512.05159
ER  -