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

Описание

Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: Языки программирования и компиляторы - 2017; Ростов-на-Дону; Ростов-на-Дону

Год издания: 2017

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

Аннотация: В статье представлены метод верификации программ на функционально-потоковом языке параллельного программирования Пифагор с помощью интервальных формул и метод анализа завершения рекурсивных программ на языке Пифагор.

Ссылки на полный текст

Издание

Журнал: Языки программирования и компиляторы - 2017

Номера страниц: 248-251

Издатель: Южный федеральный университет

Вхождение в базы данных