Return to Article Details THE DENOTATIONAL SEMANTICS OF PROCEDURAL PROGRAMS (the solution to the problem of variables’ number minimization) Download Download PDF