Principles of Program Analysis 在線電子書 圖書標籤: 程序分析 編譯原理 計算機科學 編譯器 編程 編程語言 程序設計 compiler
發表於2024-12-27
Principles of Program Analysis 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
反復看纔能有收獲
評分我不敢點評行還是不行,因為我讀瞭一些就放棄瞭,好像以我的背景有點吃力。還是讓做PL的人說吧。
評分反復看纔能有收獲
評分反復看纔能有收獲
評分我不敢點評行還是不行,因為我讀瞭一些就放棄瞭,好像以我的背景有點吃力。還是讓做PL的人說吧。
Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to program analysis: data flow analysis, constraint-based analysis, abstract interpretation, and type and effect systems. The presentation illustrates the extensive similarities between the approaches, helping readers to choose the best one to utilize.
評分
評分
評分
評分
Principles of Program Analysis 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024