"Partial Evaluation and Automatic Program Generation" adlı kitap, kısmi değerlendirme (partial evaluation) kavramını kapsamlı bir şekilde ele almaktadır. Kitap, bu program dönüştürme tekniğinin teorik temellerini, uygulama yöntemlerini ve çeşitli kullanım alanlarını detaylandırmaktadır. Kendi kendine çalışma, lisansüstü ve ileri düzey lisans dersleri için uygun bir kaynak olarak tasarlanmıştır. Kitabın yazarları N.D. Jones, C.K. Gomard ve P. Sestoft'tur ve ilk olarak 1993 yılında Prentice Hall International tarafından yayımlanmıştır.
Kısmi değerlendirme, genel bir programın belirli bir girdi (d1) ile önceden değerlendirilerek daha hızlı ve özelleştirilmiş bir versiyonunu (residual program) oluşturma sürecidir. Normalde, bir program iki girdi (d1, d2) ile tek adımda çalıştırılırken, kısmi değerlendirme bu süreci iki adıma ayırır: önce program d1 ile kısmen değerlendirilir ve yeni bir program (r) üretilir, ardından bu özelleşmiş program (r) d2 ile çalıştırılır. Bu yöntem, özellikle d1 girdisinin sıkça sabit kaldığı durumlarda, özelleşmiş programın genel programa göre çok daha hızlı çalışmasını sağlayarak önemli performans avantajları sunar.
Kitap, basılı olarak tükenmiş olsa da, tam metni Postscript veya PDF formatında indirilebilir ya da Google Books üzerinden erişilebilir durumdadır. Bu kaynak, program optimizasyonu ve otomatik kod üretimi konularında derinlemesine bilgi edinmek isteyenler için değerli bir referans olmaya devam etmektedir.
Programların belirli girdilere göre otomatik olarak optimize edilmesini sağlayarak performansı önemli ölçüde artırma potansiyeli sunar.