References

  1. Max Bolingbroke & Simon Peyton Jones (2011): Improving supercompilation: tag-bags, rollback, speculation, normalisation, and generalisation. In: ICFP. Available at https://www.microsoft.com/en-us/research/publication/improving-supercompilation-tag-bags-rollback-speculation-normalisation-and-generalisation/.
  2. Sergei Grechanik, Ilya Klyuchnikov & Sergei Romanenko (2014): Staged Multi-Result Supercompilation: Filtering by Transformation. In: Andrei Klimov & Sergei Romanenko: Proceedings of the Fourth International Valentin Turchin Workshop on Metacomputation. University of Pereslavl Publishing House, Pereslavl-Zalessky, Russia, pp. 54–78. Available at http://meta2014.pereslavl.ru/papers/2014_Grechanik_Klyuchnikov_Romanenko__Staged_Multi-Result_Supercompilation__Filtering_by_Transformation.pdf.
  3. G. W. Hamilton (2007): Distillation: Extracting the Essence of Programs. In: Proceedings of the 2007 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM '07. Association for Computing Machinery, New York, NY, USA, pp. 61–70, doi:10.1145/1244381.1244391.
  4. Neil D. Jones, Carsten K. Gomard & Peter Sestoft (1993): Partial Evaluation and Automatic Program Generation. Prentice-Hall, Inc., Upper Saddle River, NJ, USA.
  5. Peter A. Jonsson & Johan Nordlander (2011): Taming Code Explosion in Supercompilation. In: Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM '11. Association for Computing Machinery, New York, NY, USA, pp. 33–42, doi:10.1145/1929501.1929507.
  6. Ilya Klyuchnikov & Dimitur Krustev (2014): Supercompilation: Ideas and methods. The Monad Reader 23.
  7. Ilya Klyuchnikov & Sergei Romanenko (2010): Proving the Equivalence of Higher-Order Terms by Means of Supercompilation. In: Amir Pnueli, Irina Virbitskaite & Andrei Voronkov: Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 193–205, doi:10.1007/978-3-642-11486-1_17.
  8. Ilya Klyuchnikov & Sergei A. Romanenko (2012): Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions. In: Edmund Clarke, Irina Virbitskaite & Andrei Voronkov: Perspectives of Systems Informatics. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 210–226, doi:10.1007/978-3-642-29709-0_19.
  9. Ilya G. Klyuchnikov & Sergei A. Romanenko (2010): Towards Higher-Level Supercompilation. In: A. P. Nemytykh: Proceedings of the Second International Workshop on Metacomputation (META 2010), pp. 82–101.
  10. Ilya G. Klyuchnikov & Sergei A. Romanenko (2012): Formalizing and Implementing Multi-Result Supercompilation. In: A. V. Klimov & S. A. Romanenko: Proceedings of the Third International Workshop on Metacomputation (META 2012), pp. 142–164.
  11. Dimitur Krustev (2020): Controlling the Size of Supercompiled Programs using Multi-result Supercompilation. Available at https://arxiv.org/abs/2006.02204.
  12. Dimitur Nikolaev Krustev (2014): An Approach for Modular Verification of Multi-Result Supercompilers. In: A.V. Klimov & S.A. Romamenko: Proceedings of the Fourth International Valentin Turchin Workshop on Metacomputation. University of Pereslavl Publishing House, Pereslavl-Zalessky, Russia, pp. 177–193.
  13. Alexei P. Lisitsa & Andrei P. Nemytykh (2017): Verification of Programs via Intermediate Interpretation. Electronic Proceedings in Theoretical Computer Science 253, pp. 54–74, doi:10.4204/eptcs.253.6.
  14. Gavin Mendel-Gleason (2011): Types and Verification for Infinite State Systems. PhD thesis. Dublin City University, Dublin, Ireland.
  15. M. H. Sørensen (1994): Turchin's Supercompiler Revisited: an Operational Theory of Positive Information Propagation. Københavns Universitet, Datalogisk Institut.
  16. Morten Heine Sørensen & Robert Glück (1999): Introduction to Supercompilation. In: John Hatcliff, Torben Mogensen & Peter Thiemann: Partial Evaluation: Practice and Theory, Lecture Notes in Computer Science 1706. Springer-Verlag, pp. 246–270, doi:10.1007/3-540-47018-2_10.
  17. Valentin F. Turchin (1986): The Concept of a Supercompiler. ACM Trans. Program. Lang. Syst. 8(3), pp. 292–325, doi:10.1145/5956.5957.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org