3 ms·
Isn't safety actually part of functional correctness? Safety is inherently a part of accurately implementing a program's specification, even if it's not always
by mcqueenjordan 7y ago
Isn't safety actually part of functional correctness?
Safety is inherently a part of accurately implementing a program's specification, even if it's not always obvious. For example, a 1-in-a-billion race condition can invalidate the functional correctness of a program, and (Type|Memory) safety is one piece of preventing these types of errors.
- pron 7y agoI don't understand this argument. Most other languages also give you safety from undefined behavior. Also, an undefined behavior bug is not necessarily more severe than a logic bug.
- mcqueenjordan 7y agoUndefined behavior is different from data races and memory safety bugs, though, right? I'm not saying it's more severe, but it's definitely part of the puzzle.