题名:
程序分析原理   / (丹) 弗莱明·尼尔森, (丹) 汉内·里斯·尼尔森, (英) 克里斯·汉金著 , 詹博华, 冀振燕, 孙文辉译
ISBN:
978-7-111-70688-5 价格: CNY139.00
语种:
chi
载体形态:
291页 图 26cm
出版发行:
出版地: 北京 出版社: 机械工业出版社 出版日期: 2022
内容提要:
本书主要介绍4种程序分析方法—数据流分析、基于约束的分析、抽象解释、类型和作用系统,涵盖基本语义属性和高级算法。全书共6章,第1章为概述,第2~5章依次为数据流分析、基于约束的分析、抽象解释、类型和作用系统,第6章为分析算法介绍。 
主题词:
程序分析  
中图分类法:
TP311.11 版次: 5
主要责任者:
尼尔森
主要责任者:
尼尔森
主要责任者:
汉金
次要责任者:
詹博华
次要责任者:
冀振燕
次要责任者:
孙文辉
附注:
华章教育