• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Menu
  • HSE University
  • Publications of HSE
  • Book chapters
  • Особенности семантики статически типизированного языка функционально-потокового параллельного программирования

Book chapter

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

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

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.

In book

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