Jean-Francois Collard, Compiler Research Laboratory, Intel Corporation, USA
Reasoning About Program Transformations
Imperative Programming and Flow of Data
2003, 237pp.
Hardcover EUR 59.95
ISBN 0-387-95391-4
Springer-Verlag
必要的编程和数据流
本书综述了关键计算及其变换的概念和问题，介绍其推理和变换的结构，以及经典编程语言概念和经典编译程序最优化，还对顺序和并行语言存储最优化作了论述。
本书的课题和特点：提供目前最新的符号分析技术，能单独处理数组元素和语句事例，且比经典算法更精确。提供许多有完整答案的例子和习题，如：符号解例子利用实时代码，该代码可以逐字逐句拷贝再生例子，从而使研究人员能迅速开始做实验；描述形式上如何证明程序性能和样机编译程序最优化。
全书除引言外，分三部分共10章：第一部分基本概念(含2章)：描述程序执行和标号。第二部分分析和转换(含4章)：某些经典编译程序概念回顾，可及的定义分析，可及定义分析的应用以及某些经典编译程序的概念。第三部分数据流和扩展(含4章)：单-赋值形式，最大静态扩展，并行语言和结论。
本书详细介绍了通行和实用的提取计算机存储系统数据流的程序分析和转换，从事软件工程、计算机工程、程序设计分析和编译程序设计领域中的专业人员、操作员和研究人员可从本书中获得启发和帮助。
罗银芳，
研究员
(中国科学院计算技术研究所)
Luo Yinfang, Professor
(Institute of Computing Technology,the Chinese Academy of Sciences)