[HN Gopher] RustBelt: Securing the Foundations of the Rust Progr... ___________________________________________________________________ RustBelt: Securing the Foundations of the Rust Programming Language (2018) [pdf] Author : Tomte Score : 53 points Date : 2022-05-08 18:57 UTC (4 hours ago) (HTM) web link (people.mpi-sws.org) (TXT) w3m dump (people.mpi-sws.org) | xavxav wrote: | If you're interested by this, you might also like recent work I | participated in developing RustHornBelt, which allows reasoning | about the _functional correctness_ of Rust code, and will be | published at PLDI '22 in June. | | Our preprint can be found here: | https://www.lri.fr/~xldenis/paper/rusthornbelt.pdf ___________________________________________________________________ (page generated 2022-05-08 23:00 UTC)