6 ms·
> 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.
by pcwalton 8y ago
> 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.