Project Factorisations in Partial Evaluation
Programming frequently requires that problems are broken down into subproblems and then each subproblem solved independently. These solutions may then be combined to provide a solution to the original problem. Partial evaluation is a serious attempt to tackle this issue, allowing the programmer to write programs in a highly interpretive style without paying the price in efficiency. This thesis covers the theory and practice behind practical evaluation.
- Electronic book text
- 11 May 2012
- CAMBRIDGE UNIVERSITY PRESS
- Cambridge University Press (Virtual Publishing)
- Cambridge, United Kingdom
Table of contents
Abstract; Preface; 1. Partial evaluation in principle; 2. Partial evaluation in practice; 3. Static projections; 4. Binding-time analysis; 5. Run time arguments; 6. Implementation; 7. Polymorphism; 8. Conclusion; Appendices; Bibliography; Index.
"...a fascinating blend of a long pragmatic tradition in the art of writing partial evaluators with ML-style polymorphism and a dash of categorical concepts. The writing is exceptionally good and so I recommend this book also as a fine place to learn about partial evaluation." David B. Benson, Mathematical Reviews