珠海科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

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

ISBN及定价:

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

载体形态项:

291页:图;26cm

统一题名:

Principles of program analysis

丛编项:

计算机科学丛书

个人责任者:

尼尔森 (Nielson, Flemming) 著

个人责任者:

尼尔森 (Nielson, Hanne Riis) 著

个人责任者:

汉金 (Hankin, Chris) 著

个人次要责任者:

詹博华 译

个人次要责任者:

冀振燕 译

个人次要责任者:

孙文辉 译

学科主题:

程序分析

中图法分类号:

TP311.11

一般附注:

华章教育

责任者附注:

弗莱明·尼尔森, 丹麦技术大学应用数学与计算机科学系教授, 也是函数式语言、程序分析等领域著名计算机科学家。克里斯·汉金 (Chris Hankin), 伦敦帝国理工学院安全科学与技术研究所的研究员和计算科学教授。詹博华, 2014年在普林斯顿大学获得博士学位, 中国科学院软件研究所副研究员。冀振燕, 副教授, 博士生导师。CCF理论计算机专委会委员。孙文辉, 1999年在中国科学院软件研究所取得博士学位。

书目附注:

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

提要文摘附注:

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

豆瓣简介：