Ж. вычисл. матем. и матем. физ.,
1987, том 27, номер 10, страницы 1585–1589
(Mi zvmmf3757)
|
Научные сообщения
К вопросу о существовании полной аксиоматической семантики программ, не допускающей побочных эффектов
И. А. Ломазова Красноярск
Аннотация:
Излагаются решения проблем, связанных с построением полной аксиоматической семантики программ, не допускающей побочных эффектов.
УДК:
519.681
MSC: Primary
68Q60; Secondary
68Q65 Поступила в редакцию: 28.04.1986
Исправленный вариант: 02.02.1987
© , 2024
Полный текст:
PDF файл (689 kB)