Staged Multi-result Supercompilation: Filtering by Transformation
This is a Rust version of
Based on
-
Sergei A. Grechanik, Ilya G. Klyuchnikov, Sergei A. Romanenko. Staged multi-result supercompilation: filtering before producing. Keldysh Institute Preprints, (70), 2013.
http://library.keldysh.ru//preprint.asp?lg=e&id=2013-70 -
Sergei Grechanik, Ilya Klyuchnikov, and Sergei Romanenko. Staged Multi-Result Supercompilation: Filtering by Transformation. In Fourth International Valentin Turchin Workshop on Metacomputation (Proceedings of the Fourth International Valentin Turchin Workshop on Metacomputation. Pereslavl-Zalessky, Russia, June 29 - July 3, 2014).
A.V. Klimov and S.A. Romanenko, Ed. - Pereslavl-Zalessky: Publishing House “University of Pereslavl”, 2014, 256 p. ISBN 978-5-901795-31-6, pages 54-78.
link PDF slides
See docs/README.md.