6 ms·

A specification, whether formal or less formal, is very different from the source code.

• croon 5mo ago
  But it is also always less specific than source code, even if the attempt is to dictate the latter as close as possible.