Cpp2Rust — 自动 C++ 到安全 Rust 翻译

PLDI 2026 论文。自动将 C++ 代码翻译为安全 Rust 代码，保留语义并引入 Rust 的所有权模型。

关联

• 2026-07-11-gpt56-proof-milestone — AI 里程碑

• knowledge-network-map — 知识网络地图

• knowledge-base-index — 知识体系索引