2 ms·
iirc the formal correctness of Rusts memory model was proven by Ralf Jung https://research.ralfj.de/thesis.html https://research.ralfj.de/thesis.html
by _bent 1y ago
iirc the formal correctness of Rusts memory model was proven by Ralf Jung https://research.ralfj.de/thesis.html https://research.ralfj.de/thesis.html