Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: 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 comПоказать полностьюputing 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