ВЕРИФИКАЦИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ С ПОМОЩЬЮ ИНТЕРВАЛЬНЫХ ФОРМУЛ

Автор(ы): Удалова Юлия Васильевна

Рубрика: Информационные технологии

Выпуск: 2016-2 (14)

Страницы: 259-262

Ключевые слова: Верификация, Спецификация, Параллельное программирование, Функциональное программирование

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

Библиографическая ссылка: Удалова Ю.В. ВЕРИФИКАЦИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ С ПОМОЩЬЮ ИНТЕРВАЛЬНЫХ ФОРМУЛ // Образовательные ресурсы и технологии. – 2016. – № 2 (14). – С. 259-262. doi: