• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

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

С. 489-500.
Легалов А. И., Легалов И. А., Матковский И. В.

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

 

В книге

Особенности семантики статически типизированного языка функционально-потокового параллельного программирования
Под науч. редакцией: М. М. Горбунов-Посадов Институт прикладной математики им. М.В. Келдыша РАН, 2019.