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