Treffer: Verifying Extract Method Refactoring in Rust
Title:
Verifying Extract Method Refactoring in Rust
Authors:
Source:
Companion Proceedings of the 2025 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity ; page 58-59
Publisher Information:
ACM
Publication Year:
2025
Document Type:
Konferenz
conference object
Language:
unknown
DOI:
10.1145/3758316.3765486
Availability:
Accession Number:
edsbas.D51F1903
Database:
BASE