<ol id="ebnk9"></ol> 
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)
<ol id="ebnk9"></ol>