It determines the precise order for directing computations in the CPU and the movement of data between the CPU and primary memory. It inserts instructions into the code to make use of routines already on the computer, for example, to compute a square root or display results on the screen. Most compilers also optimize the object code in order to speed up processing. Thus, any analogy between programming languages and human languages is extremely weak. Mathematical Function is Infinitely Expressible Software is not the same as speech about software.
Programmers speak about their software all the time.
They write descriptions and explanations of it, draw diagrams illustrating what it does, and prove properties about it. The mathematics of programming teaches us that the functionality represented in any given program can be expressed in an infinite number of ways. The theory, formulas, and methods represented in software, whether source code or object code, can be expressed in a manner that is not easily made operational. Pseudo-code, which is cross between statements in a natural language and programming language, is particularly useful in this regard as it superficially resembles source code, but lacks the precision needed for conversion to object code. A skilled programmer can use this information to write a program that has the same effect, although reasonable effort may be required to do so.