Система будет остановлена для регулярного обслуживания. Пожалуйста, сохраните рабочие данные и выйдите из системы.
Browsing NU Research Week - II by Author "Shilov, N. V."
-
Shilov, N. V.
(Nazarbayev University, 2014)
This research has been supported by Nazarbayev University Seed Grant KF-14/16
"Research of Formal Models for analysis of programs with Dynamic Memory".
-
Shilov, N. V.
(Nazarbayev University, 2014)
Almost half of a century has passed since Robert W. Floyd published the first research
that explicitly discussed formally how to assign meaning to programs. But recently David L. Parnas have
called Really Rethinking ...