Books by 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.