| 內容介紹 | |
出版社：機械工業出版社 ISBN：9787111706885 商品編碼：10057092270893 品牌：文軒 出版時間：2022-07-01 代碼：139 作者：弗萊明·尼爾森,漢內·裡斯·尼爾森,(
" 作 者:(丹)弗萊明·尼爾森,(丹)漢內·裡斯·尼爾森,(英)克裡斯·漢金 著 詹博華,冀振燕,孫文輝 譯  定 價:139 出 版 社:機械工業出版社 出版日期:2022年07月01日 頁 數:300 裝 幀:平裝 ISBN:9787111706885  ●前言
第1章概述1
1.1什麼是程序分析1
1.2設置場景2
1.3數據流分析3
1.3.1等式方法3
1.3.2基於約束的方法5
1.4基於約束的分析6
1.5抽像解釋8
1.6類型和作用繫統11
1.6.1注釋類型繫統12
1.6.2作用繫統14
1.7算法16
1.8程序轉換17
結束語18
迷你項目18
練習20
第2章數據流分析22
2.1過程內數據流分析22
2.1.1可用表達式分析24
2.1.2到達定值分析26
2.1.3很忙的表達式分析29
2.1.4活躍變量分析31
2.1.5派生數據流信息33
……
 本書主要介紹4種程序分析方法一數據流分析、基於約束的分析、抽像解釋、類型和作用繫統，涵蓋基本語義屬性和高級算法。全書共6章，第1章為概述，第2~5章依次為數據流分析、基於約束的分析、抽像解釋、類型和作用繫統，第6章為分析算法介紹。本書基本涵蓋了程序分析領域的經典方法和技術，配以嚴謹的形式化繫統，思路清晰、邏輯性強，是學習和研究程序分析原理的經典書籍。
本書既適合作為程序分析相關碩博研究生課程的教材，也適合相關專業研究人員和專業人士閱讀。
 (丹)弗萊明·尼爾森,(丹)漢內·裡斯·尼爾森,(英)克裡斯·漢金 著 詹博華,冀振燕,孫文輝 譯 冀振燕，副教授，博士生導師。CCF理論計算機專委會委員。1999年7月於中國科學院軟件研究所取得博士學位；1999年11月至2000年6月在挪威科技大學作博士後；2000年7月至2008年9月在瑞典Mid-Sweden大學任教；2008年10月至2009年3月在北京工業大學軟件學院工作；2009年4月至今在北京交通大學軟件學院工作。參與重量、教育部lBM精品課程“軟件繫統分析與設計技術”的建設，參與重量、北京市級教學團隊的建設。研究方向：人工智能、計算機視覺、軟件服務工程、分布式繫統等。承擔了多項重量、省部級科研項目以及企業項目，目前已在國內外知名期刊會議發表論文數十篇，出版書籍多部。
" | | |
|
