RustBelt: securing the foundations of the rust programming language

Full Text: PDFPDF
Authors: Ralf Jung MPI-SWS, Germany
Jacques-Henri Jourdan MPI-SWS, Germany
Robbert Krebbers Delft University of Technology, Netherlands
Derek Dreyer MPI-SWS, Germany
RustBelt: securing the foundations of the rust programming language Published by ACM 2017 Article
This Article is Open AccessOpen Access
Artifacts
Artifacts Evaluated - Functional  Artifacts Evaluated - Functional
Artifacts Available  Artifacts Available
Bibliometrics Data  Bibliometrics
· Citation Count: 0
· Downloads (cumulative): 4,344
· Downloads (12 Months): 4,344
· Downloads (6 Weeks): 196

Published in:
Cover Image
 
· Journal
Proceedings of the ACM on Programming Languages archive
Volume 2 Issue POPL, January 2018
Article No. 66
ACM New York, NY, USA
table of contents doi>10.1145/3158154

Tools and Resources

Share:

|
Author Tags Expand Author Tags
Contact The DL Team Contact Us | Switch to single page view (no tabs)

Powered by The ACM Guide to Computing Literature


The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us