rewriting rules technique 4 техніка переписувальних правил 4 техника переписывающих правил 3 УДК 004.4'24 2 1 Cython 1 Python 1 UDC 004.4'24 1 UDC 004.4`2 1 algebra of algorithms 1 algebra-dynamic models 1 automation of parallel program optimization 1 autotuning 1 improving code performance 1 meteorological forecasting 1 parallel computation 1 programming automation 1 validation of code transformations correctness 1 УДК 004.424 1 УДК 004.4`2 1 автоматизация оптимизации параллельных программ 1 автоматизация программирования 1 автоматизація оптимізації паралельних програм 1 автоматизація програмування 1 автотьюнинг 1 автотьюнінг 1 алгебра алгоритмов 1 алгебра алгоритмів 1 алгебро-динамические модели 1 алгебро-динамічні моделі 1