5 ms·
Most programs I write have an infinite number of inputs.
by kscaldef 15y ago
Most programs I write have an infinite number of inputs.
- ohyes 15y agoI'm not sure how this is relevant? All programs have an infinite number of possible inputs. You check the ones that you expect. Is that somehow non-obvious?
- blinks 15y ago> You check the ones that you expect. You expect buffer overflows? Out-of-bounds arguments? These are the things the GP is referring to, I figure.
- mian2zi3 15y agoMathematics proves things about an infinite class of objects all the time, like, say, the input/output behavior of your program. One technique to do this is induction.
- jrockway 15y agoProve your program works for n=1. Induct on n.
- sambeau 15y agoYou forgot n=0. edit: and I forgot n=⊥