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 illustration, it describes the architecture of Tempo, an offl…