3 ms·
Strong type checking should be able to detect this kind of overflow statically. Probably not practical in the kinds of software involved though.
by kwhitefoot 7y ago
Strong type checking should be able to detect this kind of overflow statically. Probably not practical in the kinds of software involved though.