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

Описание

Перевод названия: Specifics of semantics of a statically typed language of functional and dataflow parallel programming

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

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

Ключевые слова: парадигмы программирования, параллельное программирование, функционально-потоковое параллельное программирование, статическая типизация, модели параллельных вычислений, полиморфизм, programming paradigms, parallel programming, functional-dataflow parallel programming, static type system, Parallel computation models, polymorphism

Аннотация: Рассматриваются особенности языка функционально- потокового параллельного программирования Smile, использующего статическую типизацию данных. Разработанный ранее язык функционально-потокового параллельного программирования Пифагор поддерживает динамическую типизацию, что не обеспечивает эффективной трансформации написанных программПоказать полностьюв программы для современных параллельных вычислительных систем. Проводится анализ изменений функционально-потоковой модели вычислений и операторов языка программирования с введением статической системы типов. Показано, каким образом вносимые изменения влияют на синтаксис и семантику. В частности отмечается, необходимость использования принципа единственного присваивания, обусловленного формированием хранилищ данных конкретного типа, объявляемых по аналогии с переменными. The features of the dataflow functional parallel programming language using static data typing are considered. The previously developed language Pifagor supports only dynamic typing, which does not provide an effective transformation of written programs into programs for modern parallel computing systems. The analysis of changes in the dataflow functional model of calculations and programming language operators with the introduction of a static type system is carried out. It is shown how changes made affect syntax and semantics. In particular, it is noted that it is necessary to use the principle of single assignment, due to the formation of data stores of a particular type, declared by analogy with variables.

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

Издание

Журнал: Научный сервис в сети Интернет

Выпуск журнала: 21

Номера страниц: 489-500

ISSN журнала: 26189542

Место издания: Москва

Издатель: Федеральное государственное учреждение "Федеральный исследовательский центр Институт прикладной математики им. М.В. Келдыша Российской академии наук"

Авторы

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