|
|
|
Publications in Math-Net.Ru |
Citations |
|
2018 |
| 1. |
S. A. Grechanik, “Polyprograms and polyprogram bisimulation”, Model. Anal. Inform. Sist., 25:5 (2018), 534–548  |
|
2017 |
| 2. |
S. A. Grechanik, “Polyprograms as a representation of sets of functional programs, and their transformations”, Keldysh Institute preprints, 2017, 005, 31 pp. |
1
|
|
2013 |
| 3. |
S. A. Grechanik, I. G. Klyuchnikov, S. A. Romanenko, “Staged multi-result supercompilation: filtering before producing”, Keldysh Institute preprints, 2013, 070, 28 pp. |
| 4. |
Sergei Grechanik, “Supercompilation by hypergraph transformation”, Keldysh Institute preprints, 2013, 026, 24 pp. |
1
|
|
| Organisations |
|
|
