Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials. - Qihao Lian; Di Wang 017 (Proc. ACM Program. Lang., 2025)

Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials. - Qihao Lian; Di Wang (CoRR, 2025)