Ilya Klyuchnikov. Supercompiler HOSC: proof of correctness. Preprint 31, Keldysh Institute of Applied Mathematics, Moscow, 2010.
@techreport{Klyuchnikov2010HoscCorrectness,
title = {Supercompiler {HOSC}: proof of correctness},
author = {Ilya Klyuchnikov},
year = {2010},
researchr = {https://researchr.org/publication/Klyuchnikov2010HoscCorrectness},
cites = {0},
citedby = {0},
institution = {Keldysh Institute of Applied Mathematics},
type = {Preprint},
number = {31},
address = {Moscow},
}