TY - RPRT TI - Integrating Rules and Semantics for LLM-Based C-to-Rust Translation AU - Feng Luo AU - Kexing Ji AU - Cuiyun Gao AU - Shuzheng Gao AU - Jia Feng AU - Kui Liu AU - Xin Xia AU - Michael R. Lyu PY - 2025 UR - https://arxiv.org/abs/2508.06926 ID - 2508.06926 ER -