1 paper · 1 filter
S. I. Khashin, S. E. Vaganov
A method for automatically finding a program (bytecode) realizing the given algorithm is developed. The algorithm is specified as a set of tests (input\_data) → (outp…