Peyton-Jones S., Bolingbroke M. Supercompilation by Evaluation

Peyton-Jones S. , Bolingbroke M. Supercompilation by Evaluation // Second International Workshop on Metacomputation in Russia (META-2010), July 1-5, 2010, Pereslavl-Zalessky.My student Max Bolingbroke and I have been studying supercompilation, with a view to making GHC into a supercompiler. In this talk I'll describe various approaches that we have explored, and focus on the one we are pursuing right now. A well-known practical challenge in supercompilation is over-specialisation and code explosion. I will present some ideas we have developed to tackle this problem.Краткое содержание:Overview
Supercompilation by example
The basic supercompiler
Extending to recursive let
Results
Related Work
Further Work
Conclusions