Project Factorisations in Partial Evaluation (Distinguished Dissertations in Computer Science, Series Number 1)
Cambridge University Press, 1991-10-24
EAN 9780521414975, ISBN10: 0521414970
Hardcover, 175 pages, 24.8 x 17.8 x 1.3 cm
Language: English
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.
"...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