README.md

Staged Multi-result Supercompilation: Filtering by Transformation

This is a Rust version of

https://github.com/sergei-romanenko/staged-mrsc-agda

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.

Конвейеры
0 успешных
0 с ошибкой