会员服务
Rust 是一种注重高效、安全、并行的系统程序语言。
Translating C To Rust: Lessons from a User Study
Arxiv
0+阅读 · 11月21日
Repository-level Code Translation Benchmark Targeting Rust
Arxiv
0+阅读 · 11月21日
Escape with Your Self: A Solution to the Avoidance Problem with Decidable Bidirectional Typing for Reachability Types
Arxiv
0+阅读 · 11月21日
Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime
Arxiv
0+阅读 · 11月16日
PanicFI: An Infrastructure for Fixing Panic Bugs in Real-World Rust Programs
Arxiv
0+阅读 · 11月4日
Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language
Arxiv
0+阅读 · 10月30日
A Modified Satterthwaite (1941,1946) Effective Degrees of Freedom Approximation
Arxiv
0+阅读 · 10月11日
Automated Proof Generation for Rust Code via Self-Evolution
Arxiv
0+阅读 · 10月21日
Crux, a Precise Verifier for Rust and Other Languages
Arxiv
0+阅读 · 10月23日
Charon: An Analysis Framework for Rust
Arxiv
0+阅读 · 10月23日
A Mixed-Methods Study on the Implications of Unsafe Rust for Interoperation, Encapsulation, and Tooling
Arxiv
0+阅读 · 10月19日
Surveying the Rust Verification Landscape
Arxiv
0+阅读 · 10月2日
AutoVerus: Automated Proof Generation for Rust Code
Arxiv
0+阅读 · 9月19日
Improving the Satterthwaite (1941,1946) Effective Degrees of Freedom Approximation
Arxiv
0+阅读 · 9月22日
Context-aware Code Segmentation for C-to-Rust Translation using Large Language Models
Arxiv
0+阅读 · 9月16日
参考链接
子主题
Rust 编程
微信扫码咨询专知VIP会员
Top