RUS  ENG
Полная версия
ЖУРНАЛЫ // Журнал вычислительной математики и математической физики // Архив
Ж. вычисл. матем. и матем. физ., 1988, том 28, номер 3, страницы 429–438 (Mi zvmmf3680)
Вероятностная семантика завершающихся программ

Е. А. Казьмина

Москва

Аннотация: Рассматриваются свойства программ, в пред- и постусловиях которых участвуют меры на множестве состояний памяти. Предлагаются правила доказательства таких свойств.

УДК: 519.681

MSC: Primary 68Q60; Secondary 68Q55

Поступила в редакцию: 02.03.1987
Исправленный вариант: 29.05.1987


 Англоязычная версия: USSR Computational Mathematics and Mathematical Physics, 1988, 28:2, 82–88

Реферативные базы данных:

© МИАН, 2024