3 ms·
If you're interested by this, you might also like recent work I participated in developing RustHornBelt, which allows reasoning about the functional correctness
by xavxav 4y ago
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 https://www.lri.fr/~xldenis/paper/rusthornbelt.pdf