TY  - RPRT
TI  - Verified Implementation of the Next-gen Borrow Checking Algorithm for Rust via Abstract Interpretation
AU  - Jinhua Wu
AU  - Yuting Wang
AU  - Zhemin Chen
PY  - 2026
UR  - https://arxiv.org/abs/2611.06319
ID  - 2611.06319
ER  -