Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: Conference on Scientific Services and Internet, SSI 2019
Год издания: 2020
Ключевые слова: Function and dataflow parallel programming, Parallel computing models, Parallel programming, Polymorphism, Programming paradigms, Static typing
Аннотация: It is proposed to add a static system of types to the dataflow functional model of parallel computing and the dataflow functional parallel programming language developed on its basis. The use of static typing increases the possibility of transforming dataflow functional parallel programs into programs running on modern parallel computing systems. Language constructions are proposed. Their syntax and semantics are described. It is noted that the need to use the single assignment principle in the formation of data storages of a particular type. The features of instrumental support of the proposed approach are considered. Copyright © 2020 for this paper by its authors.
Издание
Журнал: CEUR Workshop Proceedings
Выпуск журнала: Vol. 2543
Номера страниц: 274-284
ISSN журнала: 16130073
Издатель: CEUR-WS
Персоны
- Legalov A. (Siberian Federal University, 79, Svobodny pr., Krasnoyarsk, 660041, Russian Federation)
- Legalov I. (Siberian Federal University, 79, Svobodny pr., Krasnoyarsk, 660041, Russian Federation)
- Matkovskii I. (Siberian Federal University, 79, Svobodny pr., Krasnoyarsk, 660041, Russian Federation)
Вхождение в базы данных
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.