Specifics of semantics of a statically typed language of functional and dataflow parallel programming

Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: 21st 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)

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

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.