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.
發表於2024-12-23
Principles of Program Analysis 2024 pdf epub mobi 電子書 下載
圖書標籤: 程序分析 編譯原理 計算機科學 編譯器 編程 編程語言 程序設計 compiler
我不敢點評行還是不行,因為我讀瞭一些就放棄瞭,好像以我的背景有點吃力。還是讓做PL的人說吧。
評分反復看纔能有收獲
評分反復看纔能有收獲
評分反復看纔能有收獲
評分我不敢點評行還是不行,因為我讀瞭一些就放棄瞭,好像以我的背景有點吃力。還是讓做PL的人說吧。
Principles of Program Analysis 2024 pdf epub mobi 電子書 下載