• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

Логико-термальная эквивалентность программ с динамической памятью

С. 173-176.
Захаров В. А., Новикова Т. А.

В статье предложена новая модель последовательных императивных программ, использующих средства работы с динамической памятью (указателями, списками и пр.) 

В книге

Под редакцией: В. Б. Алексеев, Д. С. Романов, Б. Р. Данилов М.: МАКС Пресс, 2015.