| |
Подловченко, Р. И.
Исследования в теории алгебраических моделей программ с процедурами [Текст] / Р. И. Подловченко
// Программирование. – 2016. – № 1. – С. 5-9.
Алгебраические модели программ с процедурами обобщают алгебраические модели программ без процедур, которые называются простыми моделями программ. Всплеск интереса к моделям программ с процедурами вызван обилием фактов, установленных для простых моделей программ. Материалом, подходящим для их использования, выбраны перегородочные модели программ с процедурами. В данной статье дается обзор результатов, полученных в последние годы для перегородочных моделей программ. |
