From Reading Code to Reading Spec: A Verified Layer for LLM-Driven Codebase Maintenance
The Provable Representation Of Original Functionality (PROOF) is introduced, which manages codebases indirectly via structured specifications via structured specifications to enable full-lifecycle codebase management strictly through these specifications.
XinHao Zhang, Jing-Jie Lu, Kun-Peng Liu et al.
· 0 citations