Specifics of Semantics of a Statically Typed Language of Functional and Dataflow Parallel Programming

P. 274–284.

Legalov Alexander, Legalov I., Matkovskii I.

It is proposed to add a static system of types to the dataflow functional model of parallel computing and the dataflow functional parallel programming language developed on its basis. The use of static typing increases the possibility of transforming dataflow functional parallel programs into programs running on modern parallel computing systems. Language constructions are proposed. Their syntax and semantics are described. It is noted that the need to use the single assignment principle in the formation of data storages of a particular type. The features of instrumental support of the proposed approach are considered.

Keywords: Programming Paradigms, Parallel Programming, Function And Dataflow Parallel Programming, Static Typing, Parallel Computing Models, Polymorphism

In book

Proceedings of the 21st Conference on Scientific Services & Internet (SSI-2019)

Pozin B. Vol. 2543. Issue 2543: Proceedings of the 21st Conference on Scientific Services & Internet (SSI-2019). , CEUR Workshop Proceedings, 2020.