|
|
|
|
|
|
by tliltocatl
513 days ago
|
|
|
Correctness is also distinct from applicability/usefulness. A program that lacks some important edge cases is marginally more useful than a program that takes impractical amount of time for most inputs. So "Correctness of a program is distinct from its performance" doesn't imply "performance is optional". |
|
|