MARC状态：订购 文献类型：中文图书 浏览次数：16
- 题名/责任者:
- 程序分析原理/(丹)弗莱明·尼尔森，(丹)汉内·里斯·尼尔森，(英)克里斯·汉金著 詹博华，冀振燕，孙文辉译
- 出版发行项:
- 北京:机械工业出版社,2022.07
- ISBN及定价:
- 978-7-111-70688-5/CNY139.00
- 载体形态项:
- 300页;26cm
- 丛编项:
- 计算机科学丛书
- 个人责任者:
- (丹) 弗莱明·尼尔森 著
- 个人责任者:
- (丹) 汉内·里斯·尼尔森 著
- 个人责任者:
- (英) 克里斯·汉金 著
- 个人次要责任者:
- 詹博华 译
- 个人次要责任者:
- 冀振燕 译
- 个人次要责任者:
- 孙文辉 译
- 学科主题:
- 程序分析
- 中图法分类号:
- TP311.11
- 提要文摘附注:
- 本书主要介绍4种程序分析方法——数据流分析、基于约束的分析、抽象解释、类型和作用系统，涵盖基本语义属性和高级算法。全书共6章，第1章为概述，第2-5章依次为数据流分析、基于约束的分析、抽象解释、类型和作用系统，第6章为分析算法介绍。本书基本涵盖了程序分析领域的经典方法和技术，配以严谨的形式化系统，思路清晰、逻辑性强，是学习和研究程序分析原理不可多得的经典书籍。
- 使用对象附注:
- 高等院校程序分析相关硕博研究生，相关专业研究人员和专业人士
全部MARC细节信息>>