Title
Project Factorisations in Partial Evaluation (Distinguished Dissertations in Computer Science, Series Number 1),Used
Sold by Ergodebooks, an authorized reseller.
Returns accepted within 30 days | support@ergodebooks.com
Shipping Information
- Free Standard Shipping — United States only
- Processing Time: 3–5 business days
- Estimated Delivery: 6–10 business days after dispatch
- Double-boxed, fully insured & discreetly packaged
- Tracking number sent via email once dispatched
Returns & Refund
Returns accepted within 30 days of delivery.
Damaged or Defective Item
Free return shipping + replacement or full refund
Wrong Item Received
Free return shipping + replacement or full refund
Change of Mind
Return shipping at customer's expense · 25% restocking fee applies
Payment Option
Product DescriptionA 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 bindingtime analysis discovers which values within the program may be computed during partial evaluationthe static valuesand which may notthe 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.Review'...a fascinating blend of a long pragmatic tradition in the art of writing partial evaluators with MLstyle 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 ReviewsBook DescriptionThis thesis covers the theory and practice behind practical evaluation.
⚠️ WARNING (California Proposition 65):
This product may contain chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.
For more information, please visit www.P65Warnings.ca.gov.