TY  - RPRT
TI  - Contract Memory Compiler: Resolve, Then Traverse
AU  - Zhi Song
AU  - XiMing Xing
AU  - Chunhan Li
AU  - Weian Mao
AU  - Zhenchao Tang
AU  - Hanbo Huang
AU  - Fan Xu
AU  - Jiale Zhou
AU  - Jiahui Guan
AU  - Zejian Ding
AU  - Chen Ma
AU  - Lusheng Wang
PY  - 2026
UR  - https://arxiv.org/abs/2609.32658
ID  - 2609.32658
ER  -