4 ms·
The set of all computer programs is countable, so I don't think there can be uncountably many ways to have memory errors.
by umanwizard 7y ago
The set of all computer programs is countable, so I don't think there can be uncountably many ways to have memory errors.
- zelly 7y agoThat seems right. Memory errored programs are a subset of all computer programs. The possible runtime states of a program (expanding every branch/subroutine recursively over all threads) is uncomputable. (Otherwise we would have a solution to the halting problem and be able to correctly free memory at compile time.) I'm not sure if that's the same as being uncountably infinite. It's probably a different concept.
- umanwizard 7y agoUncomputable is indeed a totally different concept from uncountably infinite.