4 ms·
The thing about program verification is that everyone knows that of course it is in general impossible. However, I am not writing a simulator. Most of the code
by likpok 16y ago
The thing about program verification is that everyone knows that of course it is in general impossible. However, I am not writing a simulator. Most of the code I write does not actually take advantage of the power of a Turing machine.
The fact that the general problem is impossible does not mean that the entire area of study is useless.
- riffraff 16y agosee: dependent typing http://en.wikipedia.org/wiki/Dependent_type http://en.wikipedia.org/wiki/Dependent_type and restricted languages such as Spark http://en.wikipedia.org/wiki/SPARK_(programming_language) http://en.wikipedia.org/wiki/SPARK_(programming_language)