3 ms·
This is already being worked on http://plv.mpi-sws.org/rustbelt/ http://plv.mpi-sws.org/rustbelt/
by Manishearth 11y ago
This is already being worked on http://plv.mpi-sws.org/rustbelt/ http://plv.mpi-sws.org/rustbelt/
- elcritch 11y agoFantastic! Rust keeps getting better... Didn't realize Max Planck institute had a software division. Are you familiar with the state of their progress? I've been wondering when/how people might start applying monads to analyze shared imperative state. It appears to be somewhat of the approach in `Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning` paper listed. Going to have to keep an eye on these folks.