会员服务
Rust 是一种注重高效、安全、并行的系统程序语言。
"Against the Void": An Interview and Survey Study on How Rust Developers Use Unsafe Code
Arxiv
0+阅读 · 4月17日
A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
Arxiv
0+阅读 · 4月17日
Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking
Arxiv
0+阅读 · 4月17日
Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking
Arxiv
0+阅读 · 4月12日
Sound Borrow-Checking for Rust via Symbolic Semantics
Arxiv
0+阅读 · 4月3日
"Against the Void": An Interview and Survey Study on How Rust Developers Use Unsafe Code
Arxiv
0+阅读 · 4月2日
Economical-Epidemiological Analysis of the Coffee Trees Rust Pandemic
Arxiv
0+阅读 · 4月9日
Economical-Epidemiological Analysis of the Coffee Trees Rust Pandemic
Arxiv
0+阅读 · 4月6日
A hybrid approach to semi-automated Rust verification
Arxiv
0+阅读 · 3月22日
Cocoon: Static Information Flow Control in Rust
Arxiv
0+阅读 · 3月18日
LPR: Large Language Models-Aided Program Reduction
Arxiv
0+阅读 · 3月2日
Functional Ownership through Fractional Uniqueness
Arxiv
0+阅读 · 2月15日
Introducing RSESS: An Open Source Enumerative Sphere Shaping Implementation Coded in Rust
Arxiv
0+阅读 · 2月13日
Validated numerics for algebraic path tracking
Arxiv
0+阅读 · 1月31日
How Are Paid and Volunteer Open Source Developers Different? A Study of the Rust Project
Arxiv
0+阅读 · 1月25日
参考链接
子主题
Rust 编程
微信扫码咨询专知VIP会员
Top