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

Автор(ы): Ушакова Мария Сергеевна

Рубрика: Информационные технологии

Выпуск: 2016-2 (14)

Страницы: 263-269

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

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

Библиографическая ссылка: Ушакова М.С. СЕМАНТИКА ТИПОВ ДАННЫХ ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ЯЗЫКА ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ ПИФАГОР // Образовательные ресурсы и технологии. – 2016. – № 2 (14). – С. 263-269. doi: