Project Factorisations in Partial Evaluation
Project Factorisations in Partial Evaluation
Looking for an examination copy?
This title is not currently available for examination. However, if you are interested in the title for your course we can consider offering an examination copy. To register your interest please contact [email protected] providing details of the course you are teaching.
Out of Print
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.
Reviews & endorsements
"...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
Product details
November 1991Hardback
9780521414975
175 pages
256 × 182 × 15 mm
0.492kg
Unavailable - out of print
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.
