4 ms·
I think the point is that the implementation of the program exactly describes the behaviour of the program. If you take the program as a description of what the
by jstanley 5y ago
I think the point is that the implementation of the program exactly describes the behaviour of the program. If you take the program as a description of what the program is supposed to do, then what it is supposed to do is pretty unambiguous!
(Also debatable, for example if correct operation of the program depends on some property of its environment that can't always be relied upon.)
- still_grokking 5y agoIt's trivial to say that a program describes its behavior exactly (so it's its own spec). But the whole point of a spec is to describe how a program should behave before writing it. Also you usually want some verification that the program matches the spec. When the program IS the spec what do you match?