Compiler Design : Analysis and Transformation. 1st ed. 2012

種類:

電子ブック

責任表示:

by Helmut Seidl, Reinhard Wilhelm, Sebastian Hack

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012

著者名:

• Seidl, Helmut.
• Wilhelm, Reinhard.
• Hack, Sebastian.
• SpringerLink (Online service)

ISBN:

9783642175480 [3642175481]    

注記:

Introduction --  Program Semantics -- Transformations -- Static Analysis -- Imperative Programs -- Functional Programs -- References -- Index.
While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined - ideally there exist complete precise descriptions of the source and target languages. Additional descriptions of the interfaces to the operating system, programming system and programming environment, and to other compilers and libraries are often available.   The book deals with the optimization phase of compilers. In this phase, programs are transformed in order to increase their efficiency. To preserve the semantics of the programs in these transformations, the compiler has to meet the associated applicability conditions. These are checked using static analysis of the programs. In this book the authors systematically describe the analysis and transformation of imperative and functional programs. In addition to a detailed description of important efficiency-improving transform

ローカル注記:

学内専用E-BOOKS (local access only)