|
Журнал вычислительной математики и математической физики, 1987, том 27, номер 10, страницы 1585–1589
(Mi zvmmf3757)
|
|
|
|
Научные сообщения
К вопросу о существовании полной аксиоматической семантики программ, не допускающей побочных эффектов
И. А. Ломазова Красноярск
Аннотация:
Излагаются решения проблем, связанных с построением полной аксиоматической семантики программ, не допускающей побочных эффектов.
Поступила в редакцию: 28.04.1986 Исправленный вариант: 02.02.1987
Образец цитирования:
И. А. Ломазова, “К вопросу о существовании полной аксиоматической семантики программ, не допускающей побочных эффектов”, Ж. вычисл. матем. и матем. физ., 27:10 (1987), 1585–1589; U.S.S.R. Comput. Math. Math. Phys., 27:5 (1987), 206–209
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/zvmmf3757 https://www.mathnet.ru/rus/zvmmf/v27/i10/p1585
|
|