Тип публикации: статья из журнала
Год издания: 2013
Ключевые слова: функционально-потоковое программирование, отладка, верификация, спецификация, интервалы
Аннотация: В статье описан разработанный режим отладки программ на функционально-потоковом параллельном языке Пифагор, способный оперировать интервальными значениями и проверять пользовательские формулы, тем самым выявляя корректность программы относительно спецификации пользователя.
Журнал: Ползуновский вестник
Выпуск журнала: № 2
Номера страниц: 46-48
ISSN журнала: 20728921
Место издания: Барнаул
Издатель: Государственное образовательное учреждение высшего профессионального образования Алтайский государственный технический университет им. И.И. Ползунова