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

Описание

Перевод названия: 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

Место издания: Москва

Издатель: Частное образовательное учреждение высшего образования Московский университет им. С.Ю. Витте

Персоны

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