《可信編譯構造理論與關鍵技術》是2013年科學出版社出版的圖書，作者是何炎祥、吳偉。
基本介紹
- 中文名：可信編譯構造理論與關鍵技術
- 作者：何炎祥、吳偉
- 出版時間：2013年01月
- 出版社：科學出版社
- ISBN：9787030364203
內容簡介,作者簡介,圖書目錄,
內容簡介
該書介紹了可信編譯理論及其關鍵技術，從保證編譯器自身可信性和編譯對象可信性兩個方面進行了詳細闡述。
作者簡介
何炎祥，男，1952年1月生，武漢大學計算機學院院長、教授、博士生導師。先後獲得寶鋼教育優秀教師獎、國務院政府特殊津貼、湖北省青少年科技教育工作先進個人和湖北省優秀研究生導師。國家自然科學基金委、國家科學技術獎和教育部科學技術獎評審專家，國家重點基礎研究發展規劃（973）項目“下一代網際網路信息存儲的組織模式與核心技術研究”項目專家組專家。現為國家教育部科技委信息學部委員，全國高校計算機教育研究會副理事長，中國計算機學會教育專委會副主任。一直堅持主講本科生《編譯原理》、《計算機導論》等課程。主講課程“編譯原理”2005年獲評國家精品課程。2006年評為“武漢大學教學名師”，2009年獲湖北省“湖北名師”稱號。獲省級教學成果二等獎、三等獎。《程式設計基礎》、《計算機作業系統》、《編譯原理》評為國家級“十一五”規劃教材。《編譯原理》、《編譯原理及其習題解答》和《分散式作業系統》及《作業系統原理學習指導與題解》已被國內幾十所高校和科學院的計算機專業或相關專業用作教材或教學參考書。主要研究方向為分布並行處理（含移動計算、格線計算與Web服務）、可信軟體、知識挖掘與數據開採、軟體工程等。
圖書目錄
《信息科學技術學術著作叢書》序
前言
第1章 緒論
第2章 編譯器自身可信性
第3章 編譯對象的可信性
第4章 基於編譯嵌入式軟體最佳化
第5章 綠色編譯最佳化
第6章 基於編譯的軟體測試
第7章 基於編譯的可信軟體構造及關鍵技術
第8章 總結及展望
