Project Factorisations in Partial Evaluation (Distinguished Dissertations in Computer Science, Series Number 1) - Hardcover

Launchbury, John

 
9780521414975: Project Factorisations in Partial Evaluation (Distinguished Dissertations in Computer Science, Series Number 1)
Hardcover
ISBN 10: 0521414970 ISBN 13: 9780521414975
Publisher: Cambridge University Press, 1991

Synopsis

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.

"synopsis" may belong to another edition of this title.

Review

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

Book Description

This thesis covers the theory and practice behind practical evaluation. It explores how programmers write programs in a highly interpretive style without paying the price in efficiency.

"About this title" may belong to another edition of this title.

Publisher
Cambridge University Press
Publication date
1991
Language
English
ISBN 10 
0521414970
ISBN 13 
9780521414975
Binding
Hardcover
Number of pages
175