Chemerys O. Theory and methods of loop operators' transformation in programs

The thesis is devoted to the theoretical and practical solution of an important scientific and applied problem, which consists in the development of theoretical foundations, the development and practical application of analysis methods, automatic parallelization and optimization of cyclic parts of algorithms defined in programs by cycle operators. The current state of the problem is considered and those tasks that need to be solved are analyzed, methods and modern software systems are analyzed that are used for automatic parallelization of cyclic parts of algorithms. The work is aimed at developing many methods of static parallelization. The methods are tested on test cases and used for practical purposes.