%0 Journal Article %A M. M. Aghasian %T The denotational semantics of procedural programs (the solution to the problem of variables' number minimization) %J Proceedings of the Yerevan State University. Physical and mathematical sciences %D 2002 %P 23-30 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/UZERU_2002_3_a4/ %G hy %F UZERU_2002_3_a4