成为VIP会员查看完整内容
VIP会员码认证
首页
主题
发现
会员
服务
注册
·
登录
Rust
关注
15
Rust
是一种注重高效、安全、并行的系统程序语言。
综合
百科
VIP
热门
动态
论文
精华
VERT: Verified Equivalent Rust Transpilation with Few-Shot Learning
Arxiv
0+阅读 · 4月29日
"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日
参考链接
子主题
Rust 编程
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top