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

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

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

Издание

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

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

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

ISSN журнала: 26189542

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

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

Авторы

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

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

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