Добавление статической типизации в язык функционально-потокового параллельного программирования : научное издание | Научно-инновационный портал СФУ

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

Тип публикации: статья из журнала

Год издания: 2020

Идентификатор DOI: 10.26907/1562-5419-2020-23-4-788-807

Ключевые слова: парадигмы программирования, параллельное программирование, функционально-потоковое параллельное программирование, статическая типизация, модели параллельных вычислений, visualization of document collections, text analysis, text and metadata visualization algorithms, lda, Nmf, word2vec

Аннотация: Предложено добавить статическую систему типов в функционально-потоковую модель параллельных вычислений и разработанный на ее основе язык функционально-потокового параллельного программирования. Использование статической типизации повышает возможность трансформации функционально-потоковых параллельных программ в программы, выполняемые на современных параллельных вычислительных системах. Предложены языковые конструкции. Описаны их синтаксис и семантика. Отмечена необходимость использования принципа единственного присваивания при формировании хранилищ данных конкретного типа. Рассмотрены особенности инструментальной поддержки предлагаемого подхода. 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.

Ссылки на полный текст

Издание

Журнал: Электронные библиотеки

Выпуск журнала: Т. 23, 4

Номера страниц: 788-807

ISSN журнала: 15625419

Место издания: Казань

Издатель: Казанский (Приволжский) федеральный университет, Институт развития информационного общества

Персоны

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

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

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