Project Factorisations in Partial Evaluation
Project Factorisations in Partial Evaluation
John Launchbury
No date available
Hardback
9780521414975
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
No date availableHardback
9780521414975
175 pages
256 × 182 × 15 mm
0.492kg
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.
