Ж. вычисл. матем. и матем. физ.,
1984, том 24, номер 7, страницы 1110–1113
(Mi zvmmf4363)
|
Научные сообщения
Не связанные с изменением состояний последствия выполнения программ
С. А. Абрамов
Аннотация:
Предлагаются методы исследования таких последствий выполнения программ, которые не связаны с изменением состояния памяти.
УДК:
519.681
MSC: 68Q60 Поступила в редакцию: 27.12.1982
© , 2024
Полный текст:
PDF файл (495 kB)