Matthew Britton, Alex Potanin, Sasha Pak. Verifying Extract Method Refactoring in Rust. In Charles Zhang 0001, editor, Companion Proceedings of the 2025 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2025, Singapore, Singapore, October 12-18, 2025. pages 58-59, ACM, 2025. [doi]
Abstract is missing.