TY  - RPRT
TI  - Denotation-based Compositional Compiler Verification
AU  - Zhang Cheng
AU  - Jiyang Wu
AU  - Di Wang
AU  - Qinxiang Cao
PY  - 2026
DO  - 10.1145/3797874
UR  - https://arxiv.org/abs/2404.17297
ID  - 2404.17297
ER  -