Тип публикации: диссертация
Год издания: 2022
Ключевые слова: инструментальное средство для поддержки формальной верификации, удаление взаимной рекурсии, корректность рекурсивных функций, спецификация программ, язык программирования Пифагор, функционально-потоковое параллельное программирование, формальная верификация
Аннотация: Работа посвящена повышению надёжности и корректности функционально-потоковых параллельных (ФПП) программ посредством разработки методов формальной верификации.?Тема актуальна ввиду повсеместного использования параллельных программ. Функционально потоковая парадигма параллельного программирования позволяет упростить процесс формальнПоказать полностьюой верификации, однако на данный момент данная задача практически не решалась.?Объектом исследования является функционально-потоковая модель параллельных вычислений и язык ФПП программирования Пифагор.?В работе использовались методы математической логики, элементы теории множеств, графов, рекурсивных функций, алгоритмов, формальных грамматик.?В результате для ФПП программ на языке Пифагор разработан метод верификации, основанный на исчислении Хоара, метод доказательства завершения программ и метод удаления взаимной рекурсии нескольких функций.?Разработана архитектура и реализован прототип инструментального средства для поддержки верификации ФПП программ.?Полученные результаты имеют значение для развития теоретических основ программирования.