Safe systems programming in Rust
Open Access
- 22 March 2021
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 64 (4), 144-152
- https://doi.org/10.1145/3418295
Abstract
The promise and the challenges of the first industry-supported language to master the trade-off between safety and control.Funding Information
- Nederlandse Organisatie voor Wetenschappelijk Onderzoek (016.Veni.192.259)
- European Research Council (683289)
This publication has 19 references indexed in Scilit:
- Higher-order ghost stateACM SIGPLAN Notices, 2016
- IrisACM SIGPLAN Notices, 2015
- Impredicative Concurrent Abstract PredicatesLecture Notes in Computer Science, 2014
- Semantic foundations for typed assembly languagesACM Transactions on Programming Languages and Systems, 2010
- Resources, concurrency, and local reasoningTheoretical Computer Science, 2007
- Region-based memory management in cycloneACM SIGPLAN Notices, 2002
- An indexed model of recursive types for foundational proof-carrying codeACM Transactions on Programming Languages and Systems, 2001
- Region-Based Memory ManagementInformation and Computation, 1997
- A Syntactic Approach to Type SoundnessInformation and Computation, 1994
- An axiomatic basis for computer programmingCommunications of the ACM, 1969