Software programs are formal entities with precise meanings independent of their programmers, so the...