Тип публикации: статья из журнала
Год издания: 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
Место издания: Казань
Издатель: Казанский (Приволжский) федеральный университет, Институт развития информационного общества