Ж. вычисл. матем. и матем. физ.,
1986, том 26, номер 3, страницы 417–429
(Mi zvmmf4037)
|
Варианты семантики неточных данных и приближённого выполнения программ
С. А. Абрамов,
Е. А. Казьмина,
В. А. Кукляева Москва
Аннотация:
Показывается возможность использования семантик Дейкстры и Хоора для построения вариантов семантик приближенных вычислений.
УДК:
519.681
MSC: 68Q60 Поступила в редакцию: 30.07.1984
Исправленный вариант: 26.11.1985
© , 2024
Полный текст:
PDF файл (1589 kB)