Сибирский федеральный университет 
Перевод названия: 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-stream parallel programming language Pythagoras using interval constants for the specifications of the program
Издание
Журнал: Образовательные ресурсы и технологии
Выпуск журнала: № 2
Номера страниц: 259-262
ISSN журнала: 23125500
Место издания: Москва
Издатель: Частное образовательное учреждение высшего образования Московский университет им. С.Ю. Витте
Персоны
- Удалова Юлия Васильевна (Сибирский федеральный университет)
Вхождение в базы данных
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.