题名:
程序分析原理   cheng xu fen xi yuan li / (丹) 弗莱明·尼尔森, (丹) 汉内·里斯·尼尔森, (英) 克里斯·汉金著 , 詹博华, 冀振燕, 孙文辉译
ISBN:
978-7-111-70688-5 价格： CNY139.00
语种:
chi
载体形态:
291页 图 26cm
出版发行:
出版地： 北京 出版社： 机械工业出版社 出版日期： 2022.07
内容提要:
本书主要介绍4种程序分析方法—数据流分析、基于约束的分析、抽象解释、类型和作用系统, 涵盖基本语义属性和高级算法。全书共6章, 第1章为概述, 第2-5章依次为数据流分析、基于约束的分析、抽象解释、类型和作用系统, 第6章为分析算法介绍。 
主题词:
程序分析  
中图分类法:
TP311.11 版次： 5
主要责任者:
尼尔森 ni er sen 著
主要责任者:
尼尔森 ni er sen 著
主要责任者:
汉金 han jin 著
次要责任者:
詹博华 zhan bo hua 译
次要责任者:
冀振燕 ji zhen yan 译
次要责任者:
孙文辉 sun wen hui 译
附注:
华章教育 
责任者附注:
弗莱明·尼尔森, 丹麦技术大学应用数学与计算机科学系教授, 也是函数式语言、程序分析等领域著名计算机科学家。克里斯·汉金 (Chris Hankin), 伦敦帝国理工学院安全科学与技术研究所的研究员和计算科学教授。詹博华, 2014年在普林斯顿大学获得博士学位, 中国科学院软件研究所副研究员。冀振燕, 副教授, 博士生导师。CCF理论计算机专委会委员。孙文辉, 1999年在中国科学院软件研究所取得博士学位。