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

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

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



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






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


Модел. и анализ информ. систем, 2012, том 19, номер 5, страницы 81–99 (Mi mais264)  

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования

М. С. Кропачева, А. И. Легалов

Сибирский федеральный университет

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

Ключевые слова: функционально-потоковое параллельное программирование, язык программирования Пифагор, формальная верификация программ.

Полный текст: PDF файл (722 kB)
Список литературы: PDF файл   HTML файл

Тип публикации: Статья
УДК: 517.51+514.17
Поступила в редакцию: 23.08.2012

Образец цитирования: М. С. Кропачева, А. И. Легалов, “Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования”, Модел. и анализ информ. систем, 19:5 (2012), 81–99

Цитирование в формате AMSBIB
\RBibitem{KroLeg12}
\by М.~С.~Кропачева, А.~И.~Легалов
\paper Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования
\jour Модел. и анализ информ. систем
\yr 2012
\vol 19
\issue 5
\pages 81--99
\mathnet{http://mi.mathnet.ru/mais264}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mais264
  • http://mi.mathnet.ru/rus/mais/v19/i5/p81

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. М. С. Ушакова, А. И. Легалов, “Верификация программ со взаимной рекурсией на языке Пифагор”, Модел. и анализ информ. систем, 25:4 (2018), 358–381  mathnet  crossref  elib
  • Моделирование и анализ информационных систем
    Просмотров:
    Эта страница:152
    Полный текст:46
    Литература:26

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019