| ISBN/价格： | 978-7-111-70688-5:CNY139.00 |
|---|
| 作品语种： | chi dan eng |
|---|
| 出版国别： | CN 110000 |
|---|
| 题名责任者项： | 程序分析原理/.(丹)弗莱明·尼尔森(Flemming Nielson)，(丹)汉内·里斯·尼尔森(Hanne Riis Nielson)，(英)克里斯·汉金(Chris Hankin)著/.詹博华，冀振燕，孙文辉译 |
|---|
| 出版发行项： | 北京:,机械工业出版社:,2022.07 |
|---|
| 载体形态项： | 291页:;+图:;+26cm |
|---|
| 丛编项： | 计算机科学丛书 |
|---|
| 一般附注： | 华章教育 |
|---|
| 提要文摘： | 本书主要介绍4种程序分析方法—数据流分析、基于约束的分析、抽象解释、类型和作用系统，涵盖基本语义属性和高级算法。全书共6章，第1章为概述，第2~5章依次为数据流分析、基于约束的分析、抽象解释、类型和作用系统，第6章为分析算法介绍。 |
|---|
| 并列题名： | Principles of program analysis eng |
|---|
| 题名主题： | 程序分析 |
|---|
| 中图分类： | TP311.11 |
|---|
| 个人名称等同： | 尼尔森 (丹) (Nielson, Flemming) 著 |
|---|
| 个人名称等同： | 尼尔森 (丹) (Nielson, Hanne Riis) 著 |
|---|
| 个人名称等同： | 汉金 (英) (Hankin, Chris) 著 |
|---|
| 个人名称次要： | 詹博华 译 |
|---|
| 个人名称次要： | 冀振燕 译 |
|---|
| 个人名称次要： | 孙文辉 译 |
|---|
| 记录来源： | CN 人天书店 20220801 |
|---|