This book presents the principles and methods of partial evaluation, a program optimization technique also known as program specialization. It explains how to construct partial evaluators for various programming languages and provides examples, applications, and references to the literature. Partial evaluation is a special case of program transformation that emphasizes full automation and the generation of program generators. It has significant applications in program optimization, compilation, interpretation, and the generation of program generators. The book discusses the theoretical and practical aspects of partial evaluation, including its relationship to compilation, compiler generation, and program transformation. It also covers the use of partial evaluation in various programming languages, including functional, imperative, and logical languages. The book is structured into five parts, covering fundamental concepts, principles of partial evaluation, applications, advanced topics, and a guide to the literature. The book is accessible to beginning graduate students and is useful for both beginners and researchers in partial evaluation. The authors have contributed to the development of several partial evaluators, including the first non-trivial self-applicable partial evaluators for functional, imperative, and logical languages. The book includes a preface, introduction, and chapters on various topics, including partial evaluation, compilation, compiler generation, and program transformation. The book also includes a bibliography and index.This book presents the principles and methods of partial evaluation, a program optimization technique also known as program specialization. It explains how to construct partial evaluators for various programming languages and provides examples, applications, and references to the literature. Partial evaluation is a special case of program transformation that emphasizes full automation and the generation of program generators. It has significant applications in program optimization, compilation, interpretation, and the generation of program generators. The book discusses the theoretical and practical aspects of partial evaluation, including its relationship to compilation, compiler generation, and program transformation. It also covers the use of partial evaluation in various programming languages, including functional, imperative, and logical languages. The book is structured into five parts, covering fundamental concepts, principles of partial evaluation, applications, advanced topics, and a guide to the literature. The book is accessible to beginning graduate students and is useful for both beginners and researchers in partial evaluation. The authors have contributed to the development of several partial evaluators, including the first non-trivial self-applicable partial evaluators for functional, imperative, and logical languages. The book includes a preface, introduction, and chapters on various topics, including partial evaluation, compilation, compiler generation, and program transformation. The book also includes a bibliography and index.