Project Factorisations in Partial Evaluation
Project Factorisations in Partial Evaluation
John Launchbury
May 2012
Adobe eBook Reader
9781139242943
$74.00
USDAdobe eBook Reader
Hardback
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.
Product details
May 2012Adobe eBook Reader
9781139242943
0 pages
0kg
This ISBN is for an eBook version which is distributed on our behalf by a third party.
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.
