程序分析技術(shù)

內(nèi)容概要

程序分析技術(shù)上以程序?yàn)樘幚韺?duì)象，按需求對(duì)其進(jìn)行各種分析的方法，在程序理解，程序測試，程序優(yōu)化和程序重構(gòu)等方面有著重要的應(yīng)用。本書把當(dāng)前常用的程序分析方法和作者的科研成果相結(jié)合，著重介紹了元程序設(shè)計(jì)，信息流分析、形式概念分析，別名分析，程序分片和部分求值等內(nèi)容。本書可作為計(jì)算機(jī)本科生，研究生教材，或計(jì)算機(jī)專業(yè)高年級(jí)選修課教材，也可作為計(jì)算機(jī)研與開發(fā)人員的參考書。

書籍目錄

前言第1章 程序設(shè)計(jì)語言　1.1  程序設(shè)計(jì)語言的四個(gè)發(fā)展創(chuàng)段　1.2  高級(jí)語言　1.3  未來的語言第2章 元程序設(shè)計(jì)　2.1  元程序介紹　2.2  元程序設(shè)計(jì)系統(tǒng)　2.3  元程序設(shè)計(jì)的實(shí)際應(yīng)用第3章 信息流分析　3.1  控制流分析　3.2  數(shù)據(jù)流分析技術(shù)　3.3  一種信息流分析技術(shù)第4章 別名分析　4.1  C語言的別名采集器　4.2  C語言的別名播器　4.3  面向Java 的實(shí)用別名分析技術(shù)　4.4  小結(jié)第5章 程序分片　5.1  程序分片介紹　5.2  靜態(tài)分片　5.3  過程間的程序分片　5.4  動(dòng)態(tài)分片　5.5  條件分片第6章 形式概念分析　6.1  形式概念分析的產(chǎn)生與發(fā)展　6.2  FCA的基本概念　6.3  概念格在軟件工程中的應(yīng)用　6.4  概念格在數(shù)據(jù)控掘中的應(yīng)用第7章 部分求值技術(shù)　7.1  基本原理　7.2  幾種部分求值技術(shù)的價(jià)值　7.3  Futamura投影定理　7.4  程序點(diǎn)例化技術(shù)參考文獻(xiàn)

圖書封面

評(píng)論、評(píng)分、閱讀與下載

---

    程序分析技術(shù) PDF格式下載

---