Validation of correctness of autotuning code transformations with rewriting rules technique

Saved in:
Bibliographic Details
Date:2020
Main Author: P. A. Ivanenko
Format: Article
Language:English
Published: 2020
Series:Problems in programming
Online Access:http://jnas.nbuv.gov.ua/article/UJRN-0001163073
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Library portal of National Academy of Sciences of Ukraine | LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS
_version_ 1859499481919127552
author P. A. Ivanenko
author_facet P. A. Ivanenko
author_sort P. A. Ivanenko
collection Open-Science
first_indexed 2025-07-17T12:28:02Z
format Article
id open-sciencenbuvgovua-13201
institution Library portal of National Academy of Sciences of Ukraine | LibNAS
language English
last_indexed 2025-07-17T12:28:02Z
publishDate 2020
record_format dspace
series Problems in programming
spelling open-sciencenbuvgovua-132012024-02-25T17:59:00Z Validation of correctness of autotuning code transformations with rewriting rules technique P. A. Ivanenko 1727-4907 2020 en Problems in programming http://jnas.nbuv.gov.ua/article/UJRN-0001163073 Article
spellingShingle Problems in programming
P. A. Ivanenko
Validation of correctness of autotuning code transformations with rewriting rules technique
title Validation of correctness of autotuning code transformations with rewriting rules technique
title_full Validation of correctness of autotuning code transformations with rewriting rules technique
title_fullStr Validation of correctness of autotuning code transformations with rewriting rules technique
title_full_unstemmed Validation of correctness of autotuning code transformations with rewriting rules technique
title_short Validation of correctness of autotuning code transformations with rewriting rules technique
title_sort validation of correctness of autotuning code transformations with rewriting rules technique
url http://jnas.nbuv.gov.ua/article/UJRN-0001163073
work_keys_str_mv AT paivanenko validationofcorrectnessofautotuningcodetransformationswithrewritingrulestechnique