Validation of correctness of autotuning code transformations with rewriting rules technique / Ivanenko, P. A. (2020)
Ukrainian

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0001163073
  Problems in programming  Б - 2020  /     Issue (2020, № 2-3)

Іваненко П. А.
Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил

Бібліографічний опис:
Іваненко П. А.  Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил. Проблеми програмування. 2020. № 2-3. С. 368-374. URL: http://jnas.nbuv.gov.ua/article/UJRN-0001163073

English  Problems in programming   /     Issue (2020, 2-3)

Ivanenko P. A.
Validation of correctness of autotuning code transformations with rewriting rules technique

Cite:
Ivanenko, P. A. (2020). Validation of correctness of autotuning code transformations with rewriting rules technique. Problems in programming, 2-3, 368-374. http://jnas.nbuv.gov.ua/article/UJRN-0001163073 [In Ukrainian].

 

Institute of Information Technologies of VNLU

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209