KIAM Main page Web Library  •  Publication Searh  Русский 
Publications
Grechanik Sergei Alexandrovich
Email: sergei.grechanik@gmail.com
ORCID: 0000-0001-8575-9689

2019 year
1.  Conference material, 2019
Authors: Grechanik S.A.
Title: Prospects of applying neural networks to supercompilation and equality saturation

2017 year
2.  KIAM Preprint № 5, Moscow, 2017
Authors: Grechanik S. A.
Title: Polyprograms as a representation of sets of functional programs, and their transformations

2017 year
3.  PhD Theses, Moscow, 2017
Authors: Grechanik S. A.
Title: Proof of the properties of functional programs by the method of saturation by equalities

2017 year
4.  Synopsis, Moscow, 2017
Authors: Grechanik S. A.
Title: Proof of the properties of functional programs by the method of saturation by equalities

2013 year
5.  KIAM Preprint № 70, Moscow, 2013
Authors: Grechanik S. A., Klyuchnikov I. G., Romanenko S. A.
Title: Staged multi-result supercompilation: filtering before producing

2013 year
6.  KIAM Preprint № 26, Moscow, 2013
Authors: Grechanik S. A.
Title: Supercompilation by hypergraph transformation