Библиографическое описание:Особенности семантики статически типизированного языка функционально-потокового параллельного программирования : научное издание / А. И. Легалов, И. А. Легалов, И. В. Матковский. - Текст : непосредственный // Научный сервис в сети Интернет. - 2019. - № 21. - С. 489-500. - ISSN 2618-9542. Перевод заглавия: Specifics of semantics of a statically typed language of functional and dataflow parallel programming
Аннотация:Рассматриваются особенности языка функционально- потокового параллельного программирования 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
Держатель оригинала документа:Сибирский федеральный университет
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки
