RU/ENG



Семантика типов данных функционально-потокового языка параллельного программирования Пифагор

Тематики ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Авторы Ушакова Мария Сергеевна
Номер2016'2(14)
Страницы263-269
Ключевые словааксиоматическая семантика типов данных, функционально-потоковое параллельное программирование, язык программирования Пифагор
Аннотация Работа посвящена описанию семантики типов данных для функционально-потокового языка параллельного программирования Пифагор. Рассматривается два вида семантики: математическая семантика на основе неформальной теории мно-жеств и аксиоматическая семантика
Текст статьи Доступ к полному тексту открыт