Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: Языки программирования и компиляторы - 2017; Ростов-на-Дону; Ростов-на-Дону
Год издания: 2017
Ключевые слова: функционально-потоковые параллельные программы, язык программирования Пифагор, верификация с помощью интервальных формул, доказательство завершения рекурсий
Аннотация: В статье представлены метод верификации программ на функционально-потоковом языке параллельного программирования Пифагор с помощью интервальных формул и метод анализа завершения рекурсивных программ на языке Пифагор.
Журнал: Языки программирования и компиляторы - 2017
Номера страниц: 248-251
Издатель: Южный федеральный университет