中国农业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

程序分析原理/(丹) 弗莱明·尼尔森, (丹) 汉内·里斯·尼尔森, (英) 克里斯·汉金著 詹博华, 冀振燕, 孙文辉译

出版发行项:

北京:机械工业出版社,2022

ISBN及定价:

978-7-111-70688-5/CNY139.00

载体形态项:

291页:图;26cm

统一题名:

Principles of program analysis

丛编项:

计算机科学丛书

个人责任者:

尼尔森 (Nielson, Flemming) 著

个人责任者:

尼尔森 (Nielson, Hanne Riis) 著

个人责任者:

汉金 (Hankin, Chris) 著

个人次要责任者:

詹博华 译

个人次要责任者:

冀振燕 译

个人次要责任者:

孙文辉 译

学科主题:

程序分析

中图法分类号:

TP311.11

一般附注:

华章教育

书目附注:

有书目 (第 [272] -282页) 和索引

提要文摘附注:

本书主要介绍4种程序分析方法—数据流分析、基于约束的分析、抽象解释、类型和作用系统，涵盖基本语义属性和高级算法。全书共6章，第1章为概述，第2~5章依次为数据流分析、基于约束的分析、抽象解释、类型和作用系统，第6章为分析算法介绍。

豆瓣简介：

随书光盘: