Vol-2865⫷ Vol-2866 ⫸Vol-2867
urn:nbn:de:0074-2866-0


Vol-2866/ceur_353-364andon_glibovec35⫷Vol-2866/ceur_368-374ivanenko37⫸Vol-2866/ceur_375-383doroshenko_shpig38
Pavlo A. Ivanenko

Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил Analyzing Correctness of Auto-tuning Code Transformations with Rule Rewriting Systems