Журнал вычислительной математики и математической физики
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Ж. вычисл. матем. и матем. физ.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Журнал вычислительной математики и математической физики, 1980, том 20, номер 5, страницы 1347–1350 (Mi zvmmf5165)  
Научные сообщения

Модели множеств последовательностей и доказательство правильности программ

С. А. Абрамов

Москва
PDF полного текста (575 kB)
Аннотация: Описывается класс программ, доказательство определенных свойств («правильность») которых методом Флойда–Хоора требует построения соотношений между переменными, устроенных не менее сложно, чем сами программы. Даются примеры соотношений, которые являются инвариантами циклов, но это не может быть доказано непосредственным применением метода Хоора.
Поступила в редакцию: 07.02.1980
Англоязычная версия:
USSR Computational Mathematics and Mathematical Physics, 1980, Volume 20, Issue 5, Pages 258–262
DOI: https://doi.org/10.1016/0041-5553(80)90103-2
Реферативные базы данных:
Тип публикации: Статья
УДК: 519.681
MSC: 68Q60
Образец цитирования: С. А. Абрамов, “Модели множеств последовательностей и доказательство правильности программ”, Ж. вычисл. матем. и матем. физ., 20:5 (1980), 1347–1350; U.S.S.R. Comput. Math. Math. Phys., 20:5 (1980), 258–262
Цитирование в формате AMSBIB
\RBibitem{Abr80}
\by С.~А.~Абрамов
\paper Модели множеств последовательностей и доказательство правильности программ
\jour Ж. вычисл. матем. и матем. физ.
\yr 1980
\vol 20
\issue 5
\pages 1347--1350
\mathnet{http://mi.mathnet.ru/zvmmf5165}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=593513}
\zmath{https://zbmath.org/?q=an:0437.68004}
\transl
\jour U.S.S.R. Comput. Math. Math. Phys.
\yr 1980
\vol 20
\issue 5
\pages 258--262
\crossref{https://doi.org/10.1016/0041-5553(80)90103-2}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/zvmmf5165
  • https://www.mathnet.ru/rus/zvmmf/v20/i5/p1347
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Журнал вычислительной математики и математической физики Computational Mathematics and Mathematical Physics
    Статистика просмотров:
    Страница аннотации:138
    PDF полного текста:73
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024