Перевод названия: Verification of parallel functional dataflow programs using interval formulas
Тип публикации: статья из журнала
Год издания: 2016
Ключевые слова: верификация, спецификация, параллельное программирование, функциональное программирование, verification, specification, parallel programming, functional programming
Аннотация: В статье описан оригинальный метод верификации программ на функционально-потоковом языке параллельного программирования Пифагор, использующий для спецификации программы и представления промежуточных утверждений формулы с интервальными константами The article describes the original method of verification of programs in functional-stПоказать полностьюream parallel programming language Pythagoras using interval constants for the specifications of the program
Журнал: Образовательные ресурсы и технологии
Выпуск журнала: № 2
Номера страниц: 259-262
ISSN журнала: 23125500
Место издания: Москва
Издатель: Частное образовательное учреждение высшего образования Московский университет им. С.Ю. Витте