1
Specification-Based Code-Text-Code Reengineering for LLM-Mediated Software Evolution
提出基于规格的代码-文本-代码重工程方法，让LLM在软件演化中实现自动重构与一致性验证，为AI辅助编程提供新范式。
arXiv:2605.25232v1 Announce Type: cross Abstract: Direct Code2Code transformation remains challenging to control because it can preserve surface-level…