ОТЛАДКА ПРОГРАММ НА ФУНКЦИОНАЛЬНО-ПОТОКОВОМ ПАРАЛЛЕЛЬНОМ ЯЗЫКЕ ПИФАГОР С ПОДСТАНОВКОЙ ИНТЕРВАЛЬНЫХ ЗНАЧЕНИЙ

Тип публикации: статья из журнала

Год издания: 2013

Ключевые слова: функционально-потоковое программирование, отладка, верификация, спецификация, интервалы

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

Ссылки на полный текст

Издание

Журнал: Ползуновский вестник

Выпуск журнала: 2

Номера страниц: 46-48

ISSN журнала: 20728921

Место издания: Барнаул

Издатель: Государственное образовательное учреждение высшего профессионального образования Алтайский государственный технический университет им. И.И. Ползунова

Авторы

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.