MARC状态：已编 文献类型：中文图书 浏览次数：3
- 题名/责任者:
- 程序分析原理/(丹)弗莱明·尼尔森(Flemming Nielson)，(丹)汉内·里斯·尼尔森(Hanne Riis Nielson)，(英)克里斯·汉金(Chris Hankin)著 詹博华，冀振燕，孙文辉译
- 出版发行项:
- 北京:机械工业出版社,2022
- ISBN及定价:
- 978-7-111-70688-5/CNY139.00
- 载体形态项:
- 291页;26cm
- 丛编项:
- 计算机科学丛书
- 个人责任者:
- (丹) 尼尔森 (Nielson, Flemming 1955~) 著
- 个人责任者:
- (丹) 尼尔森 (Nielson, Hanne Riis 1954~) 著
- 个人责任者:
- (英) 汉金 (Hankin, Chris 1954~) 著
- 个人次要责任者:
- 詹博华 (1989~) 译
- 个人次要责任者:
- 冀振燕 (1972~) 译
- 个人次要责任者:
- 孙文辉 (1966~) 译
- 学科主题:
- 程序分析
- 中图法分类号:
- TP311.11
- 一般附注:
- 华章教育 Springer
- 版本附注:
- 由Springer授权出版
- 提要文摘附注:
- 本书主要介绍4种程序分析方法——数据流分析、基于约束的分析、抽象解释、类型和作用系统，涵盖基本语义属性和高级算法。全书共6章，第1章为概述，第2-5章依次为数据流分析、基于约束的分析、抽象解释、类型和作用系统，第6章为分析算法介绍。基本涵盖了程序分析领域的经典方法和技术。
全部MARC细节信息>>
书库