Loop-invariant Optimization in the Pifagor Language

Loop-invariant Optimization in the Pifagor Language

The paper considers methods of program transformation equivalent to optimizing the cycle invariant, applied to the functional data-flow model implemented in the Pifagor programming language. Optimization of the cycle invariant in imperative programming languages is reduced to a displacement from the...

Full description

Bibliographic Details
Main Authors: Vladimir S. Vasilev, Alexander I. Legalov
Format: Article
Language:English
Published: Yaroslavl State University 2018-08-01
Series:Modelirovanie i Analiz Informacionnyh Sistem
Subjects:
data driven functional parallel programming
pifagor programming language
code optimization
loop optimization
invariant optimization
program dependence graph
Online Access:https://www.mais-journal.ru/jour/article/view/728

Internet

https://www.mais-journal.ru/jour/article/view/728

Similar Items