Online Library TheLib.net » 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
Acknowledgments
References
Download the book Supercompilation by Evaluation for free or read online
Read Download
Continue reading on any device:
QR code
Last viewed books
Related books
Comments (0)
reload, if the code cannot be seen