Renaud Marlet

This book presents the principles and techniques of program specialization – a general method to make programs faster (and possibly smaller) when some inputs can be known in advance. As an illust…