> because programs can't work without being specified.
Someone hasn't read the C spec, with all its specified as undefined behavior.
Programs working on real systems is very different from those systems being formally specified. I suspect that if you only had access to the pile of documentation and no real computer system - if you were an alien trying to reconstruct it, for example - you'd hit serious problems.
Someone hasn't read the C spec, with all its specified as undefined behavior.
Programs working on real systems is very different from those systems being formally specified. I suspect that if you only had access to the pile of documentation and no real computer system - if you were an alien trying to reconstruct it, for example - you'd hit serious problems.