The System for Transforming the Code of Dataflow Programs into Imperative

Functional dataflow programming languages are designed to create parallel portable programs. The source code of such programs is translated into a set of graphs that reflect information and control dependencies. The main way of their execution is interpretation, which does not allow to perform calcu...

Full description

Bibliographic Details
Published in:	Моделирование и анализ информационных систем
Main Authors:	Vladimir S. Vasilev, Alexander I. Legalov, Sergey V. Zykov
Format:	Article
Language:	English
Published:	Yaroslavl State University 2021-06-01
Subjects:	transformation of programs dataflow parallel programming program analysis typing intermediate program representations
Online Access:	https://www.mais-journal.ru/jour/article/view/1488

Similar Items

Tail Recursion Transformation in Functional Dataflow Parallel Programs
by: A. I. Legalov, et al.
Published: (2015-02-01)

Introducing a Dataflow visual programming language for understanding program execution
by: Marin Aglić Čuvić
Published: (2018-11-01)

Formal Verification of Programs in Functional Dataflow Parallel Language
by: M. S. Kropacheva, et al.
Published: (2015-03-01)

Domain Specific Abstractions for the Development of Fast-by-Construction Dataflow Codes on FPGAs
by: Nick Brown
Published: (2024-10-01)

Performance Estimation of High-Level Dataflow Program on Heterogeneous Platforms by Dynamic Network Execution
by: Aurelien Bloch, et al.
Published: (2022-06-01)

Dataflow model and its applications in big data processing
by: Nifei BI, et al.
Published: (2020-05-01)

Methods for Change Parallelism in Process of High-level VLSI Synthesis
by: Igor Nikolaevich Ryzhenko, et al.
Published: (2022-03-01)

Arbitrarily Parallelizable Code: A Model of Computation Evaluated on a Message-Passing Many-Core System
by: Sebastien Cook, et al.
Published: (2022-11-01)

Loop-invariant Optimization in the Pifagor Language
by: Vladimir S. Vasilev, et al.
Published: (2018-08-01)

Transformation of C Programming Language Memory Model into Object-Oriented Representation of EO Language
by: Alexander I. Legalov, et al.
Published: (2022-09-01)

An Interactive Interpreter for Two Dimensional Lucid
by: Omar Alaqeeli, et al.
Published: (2022-01-01)

HIERARCHICAL DIAGNOSTIC MODEL SYNTHESIS FOR DATAFLOW REAL-TIME COMPUTING SYSTEM
by: Egor V. Lukoyanov, et al.
Published: (2020-10-01)

An analysis of the graph processing landscape
by: Miguel E. Coimbra, et al.
Published: (2021-04-01)

Automation of Formal Veriﬁcation of Programs in the Pifagor Language
by: M. S. Ushakova, et al.
Published: (2015-08-01)

A survey of dataflow programming models and tools for big data processing
by: Xiaofeng ZOU, et al.
Published: (2020-05-01)

SoCodeCNN: Program Source Code for Visual CNN Classification Using Computer Vision Methodology
by: Somdip Dey, et al.
Published: (2019-01-01)

Adding parallelism to sequential programs – a combined method
by: Wiktor B. Daszczuk, et al.
Published: (2024-03-01)

Adding parallelism to sequential programs – a combined method
by: Wiktor B. Daszczuk, et al.
Published: (2024-03-01)

A Comparison of Functional and Imperative Programming Techniques for Mathematical Software Development
by: Scott Frame, et al.
Published: (2014-04-01)

Building execution plans for programs with maximum code density on a fixed set of parallel computers
by: Valeriy M. Bakanov
Published: (2023-08-01)

Fine grain algorithm parallelization on a hybrid control-flow and dataflow processor
by: Nenad Korolija
Published: (2025-02-01)

Verification of Programs with Mutual Recursion in the Pifagor Language
by: Mariya S. Ushakov, et al.
Published: (2018-08-01)

Parallel Sort Implementation and Evaluation in a Dataflow-Based Polymorphic Computing Architecture
by: David Hentrich, et al.
Published: (2025-05-01)

Scenario Oriented Program Slicing for Large-Scale Software Through Constraint Logic Programming and Program Transformation
by: Shengbing Ren, et al.
Published: (2019-01-01)

An implementation of a plasma physics application for distributed-memory supercomputers using a directive-based programming framework
by: Christian Asch, et al.
Published: (2024-06-01)

The usage of dataflow model in GPU and big data processing
by: Huayou SU, et al.
Published: (2020-05-01)

EXPERIMENTAL COMPARISON OF MATRIX ALGORITHMS FOR DATAFLOW COMPUTER ARCHITECTURE
by: Jurij MIHELIČ, et al.
Published: (2018-09-01)

Implicit in the development of parallel programming language using Visual Basic
by: Zainab fahad mhawes al-naseri
Published: (2018-05-01)

Performance comparison of microservices written using reactive and imperative approaches
by: Kacper Mochniej, et al.
Published: (2023-09-01)

A Tag-Based Solution for Safer Parallel STL Usage
by: Barth Benjámin, et al.
Published: (2023-06-01)

Parallelizing Particle Swarm Optimization in a Functional Programming Environment
by: Pablo Rabanal, et al.
Published: (2014-10-01)

Autotuning Parallel Programs by Model Checking
by: Natalia Olegovna Garanina, et al.
Published: (2021-12-01)

A Semantic Framework to Debug Parallel Lazy Functional Languages
by: Alberto de la Encina, et al.
Published: (2020-05-01)

Memory-Optimized Software Synthesis from Dataflow Program Graphs with Large Size Data Samples
by: Hyunok Oh, et al.
Published: (2003-05-01)

A Low-Power General Matrix Multiplication Accelerator with Sparse Weight-and-Output Stationary Dataflow
by: Peng Liu, et al.
Published: (2025-01-01)

Survey on data caching technology of distributed dataflow system
by: Xuchu YUAN, et al.
Published: (2020-05-01)

Dataflow-Driven Crowdsourcing: Relational Models and Algorithms
by: D. A. Ustalov
Published: (2016-04-01)

Primitive Program Schemes with Procedures
by: R. I. Podlovchenko
Published: (2014-08-01)

Computational complexity when constructing rational plans for program execution in a given field of parallel computers
by: V. M. Bakanov
Published: (2022-12-01)

VeilGraph: incremental graph stream processing
by: Miguel E. Coimbra, et al.
Published: (2022-02-01)