arXiv ID:
2604.26578
arXiv 提交日期: 2026-04-29
面向命令式程序的基于神经与结构方法的图构建与匹配 / Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
1️⃣ 一句话总结
本文提出了一种将不同编程语言(如C、Java、Dafny)的代码及其注释自动转化为统一结构图的方法,结合语法解析和AI语言模型的语义理解,为未来大规模重用程序验证成果提供了基础。