logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回

期刊

Communications of the ACM 封面图
Communications of the ACM
IF:
12.2
论文数:
1.2W
被引数:
3.7W

机构

暂无机构信息
引用论文

引用论文

RustBelt: securing the foundations of the Rust programming language
errProceedings of the ACM on Programming Languages
IF0
err2017-12-27
err0
errOAAI
errRalf Jung; Jacques-Henri Jourdan; Robbert Krebbers; Derek Dreyer
err分享
err收藏
Ownership Guided C to Rust Translation所有权引导的C到Rust翻译
errLecture Notes in Computer Science
IF0
err2023-07-17
err0
errOAAI
errHanliang Zhang; Cristina David; Yijun Yu; Meng Wang
err分享
err收藏
Aliasing Limits on Translating C to Safe Rust从C到安全Rust转换中的混叠限制
errProceedings of the ACM on Programming Languages
IF0
err2023-04-06
err0
errOAAI
errMehmet Emre; Peter Boyland; Aesha Parekh; Ryan Schroeder; Kyle Dewey; Ben Hardekopf
err分享
err收藏
The rust language
errProceedings of the 2014 ACM SIGAda annual conference on High integrity language technology
IF0
err2014-10-18
err0
PREAI
errNicholas D. Matsakis; Felix S. Klock
err分享
err收藏
Type-migrating C-to-Rust translation using a large language model使用大型语言模型进行C到Rust转换的类型迁移
errEMPIRICAL SOFTWARE ENGINEERING
IF3.6
err2024-10-17
err1
errOAAI
errHong, Jaemin; Ryu, Sukyoung
err分享
err收藏
Exploring Rust for Unikernel Development
errProceedings of the 10th Workshop on Programming Languages and Operating Systems
IF0
err2019-10-27
err0
errOAAI
errStefan Lankes; Jens Breitbart; Simon Pickartz
err分享
err收藏
Multiprogramming a 64kB Computer Safely and Efficiently
errProceedings of the 26th Symposium on Operating Systems Principles
IF0
err2017-10-14
err0
errOAAI
errAmit Levy; Bradford Campbell; Branden Ghena; Daniel B. Giffin; Pat Pannuto; Prabal Dutta; Philip Levis
err分享
err收藏
To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions
errProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering
IF0
err2024-10-27
err0
PREAI
errHong,Jaemin; Ryu,Sukyoung
err分享
err收藏
Engineering the servo web browser engine using Rust
errProceedings of the 38th International Conference on Software Engineering Companion
IF0
err2016-05-14
err0
PREAI
errBrian Anderson; Lars Bergstrom; Manish Goregaokar; Josh Matthews; Keegan McAllister; Jack Moffitt; Simon Sapin
err分享
err收藏
Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent ProgramsConcrat: 一种用于并发程序的自动C语言到Rust锁API翻译器
err2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)
IF0
err2023-05-01
err0
errOAAI
errJaemin Hong; Sukyoung Ryu
err分享
err收藏
学者 查看更多内容