Grechanik Sergei Aleksandrovich

Publications in Math-Net.Ru

1. Polyprograms and polyprogram bisimulation
   
   Model. Anal. Inform. Sist., 25:5 (2018),  534–548
2. Polyprograms as a representation of sets of functional programs, and their transformations
   
   Keldysh Institute preprints, 2017, 005, 31 pp.
3. Staged multi-result supercompilation: filtering before producing
   
   Keldysh Institute preprints, 2013, 070, 28 pp.
4. Supercompilation by hypergraph transformation
   
   Keldysh Institute preprints, 2013, 026, 24 pp.