Geodesic
The denotational semantics of procedural programs (the solution to the problem of variables' number minimization)
Proceedings of the Yerevan State University. Physical and mathematical sciences, no. 3 (2002), pp. 23-30.

Voir la notice de l'article provenant de la source Math-Net.Ru

In this article an algorithm is described, which brings every program, written in procedural language, to conformity with such a system of functional equations, that defines its denotational semantics and in each equation the number of variables is minimal. The algorithm uses the mathematical model, for which the existence of the least element is proved.
Keywords: Аlgorithm, procedural language, mathematical model. 
@article{UZERU_2002_3_a4,
     author = {M. M. Aghasian},
     title = {The denotational semantics of procedural programs (the solution to the problem of variables' number minimization)},
     journal = {Proceedings of the Yerevan State University. Physical and mathematical sciences},
     pages = {23--30},
     publisher = {mathdoc},
     number = {3},
     year = {2002},
     language = {hy},
     url = {http://geodesic.mathdoc.fr/item/UZERU_2002_3_a4/}
}
TY  - JOUR
AU  - M. M. Aghasian
TI  - The denotational semantics of procedural programs (the solution to the problem of variables' number minimization)
JO  - Proceedings of the Yerevan State University. Physical and mathematical sciences
PY  - 2002
SP  - 23
EP  - 30
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZERU_2002_3_a4/
LA  - hy
ID  - UZERU_2002_3_a4
ER  - 
%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
M. M. Aghasian. The denotational semantics of procedural programs (the solution to the problem of variables' number minimization). Proceedings of the Yerevan State University. Physical and mathematical sciences, no. 3 (2002), pp. 23-30. http://geodesic.mathdoc.fr/item/UZERU_2002_3_a4/

[1] S. A. Nigiyan, “Funktsionalnye yazyki”, Programmirovanie, 1991, no. 5, 77–86 | Zbl