Safe systems programming in Rust-Reference-Cited by-同舟云学术

Safe systems programming in Rust

Author:

Jung Ralf¹,Jourdan Jacques-Henri²,Krebbers Robbert³,Dreyer Derek¹

Affiliation:

1. Max Planck Institute for Software Systems, Germany

2. Université Paris-Saclay, CNRS, ENS Paris-Saclay

3. Radboud University Nijmegen, The Netherlands

Abstract

The promise and the challenges of the first industry-supported language to master the trade-off between safety and control.

Funder

Nederlandse Organisatie voor Wetenschappelijk Onderzoek

European Research Council

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science

Link

Reference35 articles.

1. The Coq proof assistant 2019; https://coq.inria.fr/. The Coq proof assistant 2019; https://coq.inria.fr/.

Cited by 39 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Dafny vs. Dala: Experience with Mechanising Language Design;Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs;2024-09-20

3. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21

5. Safe Shared State in Dataflow Systems;Proceedings of the 18th ACM International Conference on Distributed and Event-based Systems;2024-06-24