Project Factorisations in Partial Evaluation
Published on 24. October 1991
Book
Hardback
175 pages
978-0-521-41497-5 (ISBN)
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.
Reviews / Votes
"...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 ReviewsMore details
Series
Language
English
Place of publication
Cambridge
United Kingdom
Target group
Professional and scholarly
Illustrations
Worked examples or Exercises
Dimensions
Height: 256 mm
Width: 182 mm
Thickness: 15 mm
Weight
492 gr
ISBN-13
978-0-521-41497-5 (9780521414975)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Content
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.