3 ms·
This makes sense, but I still think it’s really hard to formally verify immutable code against a mutable VM. Your code can be correct today but the VM can chan
by josh2600 8y ago
This makes sense, but I still think it’s really hard to formally verify immutable code against a mutable VM.
Your code can be correct today but the VM can change tomorrow.
- UncleMeat 8y agoThis is like the quote about getting the right answer if you put in the wrong inputs. Of course if you change the program semantics then the program changes. This is a limitation of literally all techniques, including testing.