4 ms·
Isn't this the normal definition for, say, type systems? A sound type system will never accept an invalid program (no false negatives) but may reject correct pr
by smallnamespace 7y ago
Isn't this the normal definition for, say, type systems? A sound type system will never accept an invalid program (no false negatives) but may reject correct programs.
- deleted 7y ago[deleted]
- deleted 7y ago[deleted]
- srfilipek 7y agoThe problem is really this: > all possible unsafe inputs are guaranteed to be found A sound system can reject all programs and still be sound. Therefore, it does not follow that all possible unsafe inputs are guaranteed to be found. In my view, focusing on program acceptance or rejection is not really helpful.