AdaTrans: Automated C to Rust Transformation via Error-Adaptive Repair

• 类型：arxiv
• 标识：2606.31706
• 链接：http://arxiv.org/abs/2606.31706v1
• 主分类：rag
• 形态：method
• 被引：0
• 被引来源：Semantic Scholar + OpenAlex
• S2被引：0
• OpenAlex被引：0
• 影响力被引：0
• TLDR：AdaTrans is a framework that addresses the automated transformation of C code to Rust through three core mechanisms: a Strategy-Driven Retrieval-Augmented Generation (RAG) mechanism to map compiler errors to specific repairs, an Error-Stratified Transformation Strategy (ESTS) that adapts its behavior based on error types, and a multi-stage validation pipeline to ensure both compilability and functional equivalence.
• OpenAlex ID：W7166885773
• OpenAlex DOI：10.48550/arxiv.2606.31706
• DOI：10.48550/arxiv.2606.31706
• DOI来源：OpenAlex
• 开放获取：green
• 开放获取链接：https://doi.org/10.48550/arxiv.2606.31706
• OpenAlex更新：2026-07-19
• 待LLM分类：否
• 标题中文：AdaTrans：通过错误自适应修复实现 C 到 Rust 的自动化转换
• TLDR中文：AdaTrans 是一个通过三大核心机制解决 C 代码到 Rust 自动转换的框架：策略驱动的检索增强生成（RAG）机制，用于将编译器错误映射到具体修复；错误分层转换策略（ESTS），可根据错误类型自适应调整行为；以及多阶段验证流水线，以确保可编译性与功能等价性。
• 来源文件：
• /inbox/tom/_candidates/2026-07-01-agent-rag-longcontext-candidates.json
• [S2 enrich]
• [OpenAlex backfill]