Перевод названия: Semantics of program data types for functional data-flow parallel programming language Pifagor
Тип публикации: статья из журнала
Год издания: 2016
Ключевые слова: axiomatic semantics of program data types, functional data-flow parallel programming, Pifagor programming language, аксиоматическая семантика типов данных, функционально-потоковое параллельное программирование, язык программирования Пифагор
Аннотация: Работа посвящена описанию семантики типов данных для функционально-потокового языка параллельного программирования Пифагор. Рассматривается два вида семантики: математическая семантика на основе неформальной теории множеств и аксиоматическая семантика The article is devoted to formal semantics for data types of functional data-flowПоказать полностьюparallel programming language Pifagor. Mathematical semantics based on naive (informal) set theory and axiomatic semantics are concerned
Журнал: Образовательные ресурсы и технологии
Выпуск журнала: № 2
Номера страниц: 263-269
ISSN журнала: 23125500
Место издания: Москва
Издатель: Частное образовательное учреждение высшего образования Московский университет им. С.Ю. Витте