RustBelt: securing the foundations of the Rust programming language
Jung, Ralf ; Jourdan, Jacques-Henri ; Krebbers, Robbert ; Dreyer, Derek
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-34
[Periódico revisado por pares]
Texto completo disponível