西安工业大学图书馆书目检索系统

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 1955-) 著

个人责任者:

(丹) 尼尔森 (Nielson, Hanne Riis 1954-) 著

个人责任者:

(英) 汉金 (Hankin, Chris 1954-) 著

个人次要责任者:

詹博华 译

个人次要责任者:

冀振燕 译

个人次要责任者:

孙文辉 译

学科主题:

程序分析

中图法分类号:

TP311.11

一般附注:

华章教育 Springer

版本附注:

由Springer授权出版

提要文摘附注:

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

豆瓣简介：