RUS
ENG
Full version
PEOPLE
Aghasian M. M.
Publications in Math-Net.Ru
The denotational semantics of procedural programs (the solution to the problem of variables' number minimization)
Proceedings of the YSU, Physical and Mathematical Sciences
, 2002, no. 3,
23–30
©
Steklov Math. Inst. of RAS
, 2025