程序分析原理

定　價(jià)：￥139.00

作　者：	[丹] 弗萊明·尼爾森（Flemming Nielson），[丹] 漢內(nèi)·里斯·尼爾森，[英] 克里斯·漢金（Chris Hankin）著，詹博華，冀振燕，孫文輝譯
出版社：	機(jī)械工業(yè)出版社
叢編項(xiàng)：	計(jì)算機(jī)科學(xué)叢書
標(biāo)　簽：	暫缺

購買這本書可以去

ISBN：	9787111706885	出版時(shí)間：	2022-08-01	包裝：	平裝
開本：	16開	頁數(shù)：	300	字?jǐn)?shù)：

內(nèi)容簡介

　　該書共分為6章，其中第1章為介紹，第2~5章依次為數(shù)據(jù)流分析、基于約束的分析、抽象解釋、類型和作用系統(tǒng)，第6章為分析算法介紹。該書內(nèi)容基本囊括了程序分析領(lǐng)域中的經(jīng)典方法和技術(shù)，配以嚴(yán)謹(jǐn)?shù)男问交到y(tǒng)，全書思路清晰、邏輯性強(qiáng)，是不可多得的經(jīng)典書籍。

作者簡介

暫缺《程序分析原理》作者簡介

圖書目錄

前言
第1章概述1
11什么是程序分析1
12設(shè)置場景2
13數(shù)據(jù)流分析3
131等式方法3
132基于約束的方法5
14基于約束的分析6
15抽象解釋8
16類型和作用系統(tǒng)11
161注釋類型系統(tǒng)12
162作用系統(tǒng)14
17算法16
18程序轉(zhuǎn)換17
結(jié)束語18
迷你項(xiàng)目18
練習(xí)20
第2章數(shù)據(jù)流分析22
21過程內(nèi)數(shù)據(jù)流分析22
211可用表達(dá)式分析24
212到達(dá)定值分析26
213很忙的表達(dá)式分析29
214活躍變量分析31
215派生數(shù)據(jù)流信息33
22理論性質(zhì)34
221結(jié)構(gòu)操作語義34
222活躍變量分析的正確性38
23單調(diào)框架41
231基本定義43
232案例回顧44
233一個(gè)不可分配的例子46
24等式系統(tǒng)的求解47
241MFP解47
242MOP解50
25過程間分析53
251結(jié)構(gòu)操作語義55
252過程內(nèi)分析與過程間分析56
253顯式使用上下文58
254調(diào)用字符串作為上下文61
255假設(shè)集作為上下文63
256流敏感與流不敏感64
26形狀分析66
261結(jié)構(gòu)操作語義67
262形狀圖70
263分析的描述73
結(jié)束語82
迷你項(xiàng)目84
練習(xí)86
第3章基于約束的分析90
31抽象0CFA分析90
311分析的描述91
312分析的明確定義96
32理論性質(zhì)97
321結(jié)構(gòu)操作語義98
322語義正確性101
323解的存在性104
324余歸納和歸納的比較106
33語法引導(dǎo)的0CFA分析108
331語法引導(dǎo)的規(guī)范108
332解的保持110
34基于約束的0CFA分析111
341解的保持113
342約束的求解113
35添加數(shù)據(jù)流分析117
351抽象值為冪集117
352抽象值為完全格119
36添加上下文信息122
361均勻kCFA分析123
362笛卡兒積算法127
結(jié)束語128
迷你項(xiàng)目130
練習(xí)132
第4章抽象解釋135
41一種普通的正確性定義135
411正確性關(guān)系136
412表示函數(shù)138
413一個(gè)較小的擴(kuò)展139
42不動(dòng)點(diǎn)的近似141
421加寬算子143
422變窄算子146
43Galois連接149
431Galois連接的性質(zhì)152
432Galois插入155
44Galois連接的系統(tǒng)的設(shè)計(jì)方法157
441組件上的組合159
442其他組合方式162
45衍生的操作165
451沿著抽象化函數(shù)衍生165
452數(shù)據(jù)流分析中的應(yīng)用168
453沿著具體化函數(shù)衍生171
結(jié)束語174
迷你項(xiàng)目176
練習(xí)177
第5章類型和作用系統(tǒng)182
51控制流分析182
511底層類型系統(tǒng)183
512基于類型的分析184
52理論性質(zhì)187
521自然語義187
522語義正確性189
523解的存在性191
53類型推導(dǎo)算法193
531一個(gè)底層類型系統(tǒng)的算法193
532一個(gè)控制流分析的算法196
533語法可靠性和完備性200
534解的存在性204
54作用205
541副作用分析206
542異常分析210
543區(qū)域推導(dǎo)213
55行為219
551通信分析219
結(jié)束語225
迷你項(xiàng)目228
練習(xí)231
第6章算法234
61工作列表算法234
611工作列表算法的結(jié)構(gòu)235
612LIFO和FIFO迭代238
62逆后序迭代239
621循環(huán)算法242
63在強(qiáng)分量里迭代243
結(jié)束語245
迷你項(xiàng)目247
練習(xí)248
附錄A偏序集合250
附錄B歸納和余歸納258
附錄C圖和正則表達(dá)式265
參考文獻(xiàn)272
符號(hào)索引283
術(shù)語索引287