3 ms·
But you can't make a program without interpreting a spec and making lots of assumptions about the world including the ones about the compiler, that may or may n
by zzzcpan 8y ago
But you can't make a program without interpreting a spec and making lots of assumptions about the world including the ones about the compiler, that may or may not hold. So you can't make a program guaranteed to be bug free for the world, only for your interpretation of the spec.