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

Launchbury, John

Hardcover

ISBN 10: 0521414970 ISBN 13: 9780521414975

Publisher: Cambridge University Press, 1991

Synopsis

A partial evaluator is a function that takes a program, together with some of the input to the program, and produces a new program as a result. This new program is an optimized version of the old, having taken the input data into account. Prior to partial evaluation, the input program undergoes analysis. This binding-time analysis discovers which values within the program may be computed during partial evaluation--the static values--and which may not--the dynamic values. Partial evaluation has recently become the focus of attention for a rapidly increasing number of researchers because of its potential for global program optimization. It provides a detailed introduction and proceeds to a mathematical treatment of the technique. It is relevant to people interested in automatic program transformation, program optimization, compilers, program analysis, and theoretical computer science. This is the first complete book on the subject of partial evaluation.

About this title

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.

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

Edition details

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