4 ms·
is there any difference between a sufficiently rigorous spec and actual programming?
by Palomides 11y ago
is there any difference between a sufficiently rigorous spec and actual programming?
- andrewflnr 11y agoDepends on what you mean by "sufficiently rigorous". There's a sense in which an algorithm description is just a more detailed spec, but if a spec is just "specify all properties of output", that can be described in predicate logic. The spec language doesn't necessarily have to be turing complete (I think).