Formal and adaptive methods and software tools of parallel programming
А.Yu. Doroshenko, O.G. Beketov, Kostiantyn Zhereb, P.А. Ivanenko, О.М. Ovdii, Ruslan Shevchenko, Olena Yatsenko · PROBLEMS IN PROGRAMMING · 2017
A review of the results of the development of formal and adaptive methods and software, achieved in recent years in the Institute of Software Systems of the National Academy of Sciences of Ukraine, based on the algebra-algorithmic approach and the technique of rewriting rules is given. The methods are developed to automate the design, generation and transformation of parallel programs for a wide range of multiprocessor computing platforms and find application for various application areas, in particular for the effective implementation of meteorological forecasting tasks. Problems in programming 2017; 3: 19-30