Partial evaluation is a ProgramOptimization technique in which a program is specialized to a part of
the input that is known statically (at specialization time).
Partial evaluation is also known as ProgramSpecialization.

---++ Resources

---+++ Papers

	* Neil D. Jones, [[http://www.diku.dk/topps/bibliography/1996.html#D-294][An Introduction to Partial Evaluation]].
	  ACM Computing Surveys 28(3), pp. 480-504. September, 1996.

	* KarinaOlmos and EelcoVisser,
	  [[http://www.stratego-language.org/twiki/bin/view/Stratego/StrategiesForSourceToSourceConstantPropagation][Strategies for Source-to-Source Constant Propagation]].

---+++ Books

	* N.D. Jones, C.K. Gomard, and P. Sestoft, 
	  [[http://www.dina.dk/~sestoft/pebook/pebook.html][Partial Evaluation and Automatic Program Generation]].
	  Prentice Hall International, June 1993. xii + 415 pages. ISBN 0-13-020249-5.
	  <p>This book is about partial evaluation, a program optimization technique 
	  also known as program specialization. It presents general principles for constructing 
	  partial evaluators for a variety of programming languages, and it gives examples 
	  of applications and numerous references to the literature.</p>

	* OlivierDanvy, RobertGlueck, PeterThiemann (editors), 
	  [[http://www.diku.dk/users/glueck/PE96-book.html][Partial Evaluation]]. 
	  Volume 1110 of Lecture Notes in Computer Science, Springer-Verlag, 1996. 
	  <p>Partial Evaluation has reached a point where theory and techniques have matured, substantial systems 
	  have been developed, and realistic applications can benefit from partial evaluation. 
	  The 24 strictly refereed full papers included evaluate the progress achieved in the field 
	  during the last decade. Also included is a detailed preface by the volume editors 
	  and a subject index. All in all, this book competently reports the state of the art and 
	  future perspectives in partial evaluation and is thus compulsory reading for 
	  anybody interested in the area.</p>

---+++ Websites

	* [[http://compose.labri.fr/documentation/pe/][Partial Evaluation]] at the webpage of the [[http://compose.labri.fr/][Compose]] project

---+++ Courses and slides

	* EelcoVisser, [[http://www.cs.uu.nl/groups/ST/twiki/bin/view/Ist/ProgramTransformation][Introduction to Software Technology]], University of Utrecht.
		* [[http://www.cs.uu.nl:80/groups/ST/twiki/pub/Ist/ProgramTransformation/IST-PT2.pdf][Partial Evaluation]]
		* [[http://www.cs.uu.nl:80/groups/ST/twiki/pub/Ist/ProgramTransformation/IST-PT3.pdf][Partial Evaluation: Binding Time Annotation & Spec]]

	* EelcoVisser, [[http://www.cs.uu.nl/groups/ST/twiki/bin/view/Pt][Master Course Program Transformation]], University of Utrecht.

---+++ Related

	* BindingTime, BindingTimeAnalysis
	* ConstantPropagation

-----
CategoryTransformation, CategoryOptimization | Contributions by Main.EelcoVisser and Main.MartinBravenboer