Principles of Program Analysis (Hardcover)
暫譯: 程式分析原則 (精裝版)
Flemming Nielson, Hanne R. Nielson, Chris Hankin
買這商品的人也買了...
-
Design Patterns: Elements of Reusable Object-Oriented Software (Hardcover)$2,450$2,328 -
$1,350Beginning Linux Programming, 4/e (Paperback) -
ActionScript 3.0 精緻範例辭典$550$468 -
Oracle 管理藝術－顧問級 DBA 的思維鍛鍊與經驗傳承$680$537 -
深入淺出 PHP 與 MySQL (Head First PHP & MySQL)$980$774 -
AWS 雲端企業實戰聖經─ Amazon Web Services 改造企業 IT 體質$480$384 -
Maya 2012 動畫製作密技$680$578 -
Android 系統原理深入解析$520$442 -
PHP & MySQL: The Missing Manual 國際中文版 (PHP & MySQL: The Missing Manual)$580$458 -
ActionScript 3.0 網頁、行動裝置互動應用設計$520$411 -
JavaScript & jQuery: The Missing Manual 國際中文版, 2/e
$580$458 -
PHP & MySQL 程式設計實務：立即擁有專案開發能力的 16 堂課$520$406 -
![ASP.NET 4.5 專題實務 [I]－C# 入門實戰篇-cover](https://cf-assets1.tenlong.com.tw/images/71291/medium/9789572240601_bc.jpg)
ASP.NET 4.5 專題實務 [I]－C# 入門實戰篇$780$616 -
王者歸來－600 個 Java 企業專案完整範例集$860$731 -
深入淺出 C (Head First C)$880$695 -
Flash CS6 躍動的網頁$490$417 -
全方位把玩 Android 400 個 API：精挑細選 365 個實例說明$680$578 -
王者歸來－C# 完全開發範例集$860$731 -
iPad mini + iPad 4 使用手冊$399$339 -
SA 前進 UML 專案現場$400$316 -
精通 MFC 視窗程式設計－Visual Studio 2012 版$800$632 -
Visual C# 2010 學習經典 (附 VS 2010 Express 中文版)$620$490 -
精通 Objective-C 程式設計, 5/e (Programming in Objective-C, 5/e)$580$458 -
ASP.NET MVC 4 網站開發美學$680$537 -
Visual C# 2012 資料庫程式設計暨進銷存系統實作$650$514
商品描述
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.
商品描述(中文翻譯)
程式分析利用靜態技術來計算有關程式動態行為的可靠資訊。應用範圍包括編譯器（用於程式碼改進）、軟體驗證（用於檢測錯誤）以及資料表示之間的轉換（用於解決如 Y2K 等問題）。本書獨特之處在於提供了四種主要程式分析方法的概述：資料流分析、基於約束的分析、抽象解釋以及型別與效果系統。該呈現方式說明了這些方法之間的廣泛相似性，幫助讀者選擇最適合的分析方法。
