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.
"synopsis" may belong to another edition of this title.
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.
"...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
"About this title" may belong to another edition of this title.
Shipping:
US$ 6.62
From United Kingdom to U.S.A.
Seller: AwesomeBooks, Wallingford, United Kingdom
Condition: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. . Seller Inventory # 7719-9780521414975
Quantity: 1 available
Seller: Bahamut Media, Reading, United Kingdom
Condition: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee. Seller Inventory # 6545-9780521414975
Quantity: 1 available
Seller: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.
Condition: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear. Seller Inventory # GWSVV.0521414970.G
Quantity: 1 available
Seller: George Cross Books, Lexington, MA, U.S.A.
Hardcover. First edition. Near Fine/Very Good- (15581) First edition. Small tear in the lightly rubbed dust jacket at flap fold. Clean, unmarked. A volume in the Cambridge Distinguished Dissertations in Computer Science . 163. Seller Inventory # 15581
Quantity: 1 available
Seller: Prior Books Ltd, Cheltenham, United Kingdom
Hardcover. Condition: Very Good. Dust Jacket Condition: Very Good. First Edition. A firm and square hardback with strong joints, complete with original dustjacket, just showing a few very minor rubs. Hence a non-text page has a small 'damaged' stamp. Despite such this book is actually in better than very good condition. Thus the contents are crisp, fresh and tight. Now offered for sale at a very sensible price. Seller Inventory # 119952
Quantity: 1 available
Seller: Basi6 International, Irving, TX, U.S.A.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-360168
Quantity: 1 available
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABTA-350756
Quantity: 1 available
Seller: Books Puddle, New York, NY, U.S.A.
Condition: Used. pp. 175. Seller Inventory # 26391742
Quantity: 1 available
Seller: Majestic Books, Hounslow, United Kingdom
Condition: Used. pp. 175. Seller Inventory # 7488993
Quantity: 1 available
Seller: Basi6 International, Irving, TX, U.S.A.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-102815
Quantity: 1 available