Peyton-Jones S. , Bolingbroke M. Supercompilation by Evaluation //
Second Inteational 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
Acknowledgments
References
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
Acknowledgments
References