具體描述
程序分析技術上以程序為處理對象，按需求對其進行各種分析的方法，在程序理解，程序測試，程序優化和程序重構等方麵有著重要的應用。本書把當前常用的程序分析方法和作者的科研成果相結閤，著重介紹瞭元程序設計，信息流分析、形式概念分析，彆名分析，程序分片和部分求值等內容。本書可作為計算機本科生，研究生教材，或計算機專業高年級選修課教材，也可作為計算機研與開發人員的參考書。
著者簡介
圖書目錄
目錄
前言
第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 程序點例化技術
參考文獻
· · · · · · (收起)
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
评分
评分
评分
评分
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有