Project Factorisations in Partial Evaluation

Project Factorisations in Partial Evaluation

  • Electronic book text
By (author) 

Currently unavailable

We can notify you when this item is back in stock

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Description

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.show more

Product details

  • Electronic book text
  • CAMBRIDGE UNIVERSITY PRESS
  • Cambridge University Press (Virtual Publishing)
  • Cambridge, United Kingdom
  • 1139242946
  • 9781139242943

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.show more

Review quote

"...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 Reviewsshow more