Гречаник Сергей Александрович

Публикации в базе данных Math-Net.Ru

1. Polyprograms and polyprogram bisimulation
   
   Модел. и анализ информ. систем, 25:5 (2018),  534–548
2. Полипрограммы как представление множеств функциональных программ и преобразования над ними
   
   Препринты ИПМ им. М. В. Келдыша, 2017, 005, 31 стр.
3. Staged multi-result supercompilation: filtering before producing
   
   Препринты ИПМ им. М. В. Келдыша, 2013, 070, 28 стр.
4. Supercompilation by hypergraph transformation
   
   Препринты ИПМ им. М. В. Келдыша, 2013, 026, 24 стр.