DSpace Repository

Browsing by Subject "dynamic memory"

Система будет остановлена для регулярного обслуживания. Пожалуйста, сохраните рабочие данные и выйдите из системы.

Browsing by Subject "dynamic memory"

Sort by: Order: Results:

  • ALIAS calculus for a simple imperative language 
    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".