《程式分析技術》是2005年機械工業出版社出版的圖書，作者是劉磊。程式分析技術上以程式為處理對象，按需求對其進行各種分析的方法，在程式理解，程式測試，程式最佳化和程式重構等方面有著重要的套用。本書把當前常用的程式分析方法和作者的科研成果相結合，著重介紹了元程式設計，信息流分析、形式概念分析，別名分析，程式分片和部分求值等內容。
基本介紹
- 書名：程式分析技術
- 作者：劉磊
- 出版社：機械工業出版社
- 出版時間：2005-08-01
基本信息,內容簡介,目錄,
基本信息
作 者：劉磊 等 著 叢 書 名：清華大學建築學與城市規劃系列教材 出 版 社：機械工業出版社ISBN：9787111167860 出版時間：2005-08-01 版 次：1 頁 數：153 裝 幀：平裝 開 本：16開 所屬分類：圖書 > 計算機與網際網路 > 程式語言與程式設計
內容簡介
本書可作為計算機本科生，研究生教材，或計算機專業高年級選修課教材，也可作為計算機研與開發人員的參考書。
目錄
前言
第1章 程式設計語言
1.1 程式設計語言的四個發展創段
1.2 高級語言
1.3 未來的語言
第2章 元程式設計
2.1 元程式介紹
2.2 元程式設計系統
2.3 元程式設計的實際套用
第3章 信息流分析
3.1 控制流分析
3.2 數據流分析技術
3.3 一種信息流分析技術
第4章 別名分析
4.1 C語言的別名採集器
4.2 C語言的別名播器
4.3 面向Java 的實用別名分析技術
4.4 小結
第5章 程式分片
5.1 程式分片介紹
5.2 靜態分片
5.3 過程間的程式分片
5.4 動態分片
5.5 條件分片
第6章 形式概念分析
6.1 形式概念分析的產生與發展
6.2 FCA的基本概念
6.3 概念格在軟體工程中的套用
6.4 概念格在數據控掘中的套用
第7章 部分求值技術
7.1 基本原理
7.2 幾種部分求值技術的價值
7.3 Futamura投影定理
7.4 程式點例化技術
參考文獻
第1章 程式設計語言
1.1 程式設計語言的四個發展創段
1.2 高級語言
1.3 未來的語言
第2章 元程式設計
2.1 元程式介紹
2.2 元程式設計系統
2.3 元程式設計的實際套用
第3章 信息流分析
3.1 控制流分析
3.2 數據流分析技術
3.3 一種信息流分析技術
第4章 別名分析
4.1 C語言的別名採集器
4.2 C語言的別名播器
4.3 面向Java 的實用別名分析技術
4.4 小結
第5章 程式分片
5.1 程式分片介紹
5.2 靜態分片
5.3 過程間的程式分片
5.4 動態分片
5.5 條件分片
第6章 形式概念分析
6.1 形式概念分析的產生與發展
6.2 FCA的基本概念
6.3 概念格在軟體工程中的套用
6.4 概念格在數據控掘中的套用
第7章 部分求值技術
7.1 基本原理
7.2 幾種部分求值技術的價值
7.3 Futamura投影定理
7.4 程式點例化技術
參考文獻
