[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)