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

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

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


ПДМ. Приложение:
Год:
Том:
Выпуск:
Страница:
Найти




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

Прикладная дискретная математика. Приложение, 2017, выпуск 10, страницы 151–153
DOI: https://doi.org/10.17223/2226308X/10/59 (Mi pdma319) 		 
Математические основы информатики и программирования

Завершение эскизов предикатных программ методом синтеза через контрпримеры

М. С. Чушкин

Институт систем информатики СО РАН, г. Новосибирск
PDF полного текста (556 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.17223/2226308X/10/59
Аннотация: Программа на языке P представляет собой набор определений предикатов. Для языка P разработана операционная семантика. На базе операционной семантики определена формула тотальной корректности предиката относительно его спецификации. Для незаконченной программы на языке P ставится задача её завершения до корректной относительно спецификации. Метод синтеза выражений на основе контрпримеров успешно адаптирован для этой задачи.
Ключевые слова: предикатное программирование, формальная операционная семантика, программный синтез, синтез на основе контрпримеров, дедуктивная верификация.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 16-01-00498
Работа поддержана грантом РФФИ, проект № 16-01-00498.
Тип публикации: Статья
УДК: 519.714
Образец цитирования: М. С. Чушкин, “Завершение эскизов предикатных программ методом синтеза через контрпримеры”, ПДМ. Приложение, 2017, № 10, 151–153
Цитирование в формате AMSBIB
\RBibitem{Chu17}
\by М.~С.~Чушкин
\paper Завершение эскизов предикатных программ методом синтеза через контрпримеры
\jour ПДМ. Приложение
\yr 2017
\issue 10
\pages 151--153
\mathnet{http://mi.mathnet.ru/pdma319}
\crossref{https://doi.org/10.17223/2226308X/10/59}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/pdma319
  • https://www.mathnet.ru/rus/pdma/y2017/i10/p151
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Прикладная дискретная математика. Приложение
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024