论文来自 2025 Proceedings of the ACM on Programming Languages (PLDI) 的《Program Skeletons for Automated Program Translation》。

摘要

将软件在不同编程语言之间进行翻译是一项具有挑战性的任务，目前自动化技术依然难以奏效，且很难扩展到大型程序。跨语言翻译的关键难点在于：需要把源程序的预期行为重新表达为目标语言中符合其“习惯用法”（idiomatic）的构造。这个过程必须抽象掉源语言的细节，同时保持整体功能不变。