Validation of correctness of autotuning code transformations with rewriting rules technique

• Дата: 2020
• Автор: Ivanenko, P.A.
• Формат: Стаття
• Мова: Українська
• Опубліковано: PROBLEMS IN PROGRAMMING 2020
• Теми: automation of parallel program optimization; autotuning; algebra-dynamic models; rewriting rules technique; validation of code transformations correctness; UDC 004.4`2
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/429
• Назва журналу: Problems in programming

Article presents an approach to correctness validation of autotuning optimizational transformations. Autotuner is considered as dynamic discrete system and validation is reduced to verification of characteristic of equivalence by result of representation of initial and optimized program versions in...