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.
Neil D. Jones, Carsten K. Gomard & Peter Sestoft (1993):
Partial Evaluation and Automatic Program Generation.
Prentice-Hall, Inc.,
Upper Saddle River, NJ, USA.
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.
Ilya Klyuchnikov & Dimitur Krustev (2014):
Supercompilation: Ideas and methods.
The Monad Reader 23.
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.
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.
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.
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.
Dimitur Krustev (2020):
Controlling the Size of Supercompiled Programs using Multi-result Supercompilation.
Available at https://arxiv.org/abs/2006.02204.
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.
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.
Gavin Mendel-Gleason (2011):
Types and Verification for Infinite State Systems.
PhD thesis.
Dublin City University,
Dublin, Ireland.
M. H. Sørensen (1994):
Turchin's Supercompiler Revisited: an Operational Theory of Positive Information Propagation.
Københavns Universitet, Datalogisk Institut.
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.
Valentin F. Turchin (1986):
The Concept of a Supercompiler.
ACM Trans. Program. Lang. Syst. 8(3),
pp. 292–325,
doi:10.1145/5956.5957.