|
题名:
|
程序分析原理 [ 专著] cheng xu fen xi yuan li / (丹)弗莱明·尼尔森(Flemming Nielson)，(丹)汉内·里斯·尼尔森(Hanne Riis Nielson)，(英)克里斯·汉金(Chris Hankin)著 , 詹博华，冀振燕，孙文辉译 |
|
ISBN:
|
978-7-111-70688-5 价格： CNY139.00 |
|
语种:
|
chi |
|
载体形态:
|
291页 26cm |
|
出版发行:
|
出版地： 北京 出版社： 机械工业出版社 出版日期： 2022 |
|
内容提要:
|
本书主要介绍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 译 |
|
附注:
|
华章教育 Springer |
|
索书号:
|
TP311.11/glg7724 |