程式分析技術

基本信息

作　者：劉磊 等 著 叢 書 名：清華大學建築學與城市規劃系列教材 出 版

社：機械工業出版社ISBN：9787111167860 出版時間：2005-08-01 版　次：1 頁　數：153 裝　幀：平裝 開　本：16開 所屬分類：圖書 > 計算機與網際網路 > 程式語言與程式設計

內容簡介

程序分析技術上以程式為處理對象，按需求對其進行各種分析的方法，在程式理解，程式測試，程式最佳化和程式重構等方面有著重要的套用。本書把當前常用的程式分析方法和作者的科研成果相結合，著重介紹了元程式設計，信息流分析、形式概念分析，別名分析，程式分片和部分求值等內容。本書可作為計算機本科生，研究生教材，或計算機專業高年級選修課教材，也可作為計算機研與開發人員的參考書。