Acknowledgements; 1. Overview; 2. Continuation-passing style; 3. Semantics of the CPS; 4. ML-specific optimizations; 5. Conversion into CPS; 6. Optimization of the CPS; 7. Beta expansion; 8. Hoisting; 9. Common subexpressions; 10. Closure conversion; 11. Register spilling; 12. Space complexity; 13. The abstract machine; 14. Machine-code generation; 15. Performance evaluation; 16. The runtime system; 17. Parallel programming; 18. Future directions; Appendices; Bibliography; Index.
This book shows how continuation-passing style is used as an intermediate representation on which to perform optimisations and program transformations.
"I recommend the book to language designers and implementors specializing in the functional paradigm." F.G. Pagan, Computing Reviews
Ask a Question About this Product More... |