News for hackers. Stuff that matters.
Re:Oxide: A Formal Semantics for Rust by pcwalton on Wednesday March 06, 2019 @11:10AM (#19319963)
> AFAICT "full" language verification is basically never done

It's been done for full Standard ML, and I believe Java as well. But yeah, it's rare.

There are no comments on this comment yet.