ISBN/价格: | 978-7-111-70688-5:CNY139.00 |
---|---|
作品语种: | chi eng |
出版国别: | CN 110000 |
题名责任者项: | 程序分析原理/.(丹)弗莱明·尼尔森, 汉内·里斯·尼尔森, (英)克里斯·汉金著/.Flemming Nielson, Hanne Riis Nielson, Chris Hankin/.詹博华, 冀振燕, 孙文辉译 |
出版发行项: | 北京:,机械工业出版社:,2022.07 |
载体形态项: | 291页:;+图:;+26cm |
丛编项: | 计算机科学丛书 |
提要文摘: | 本书主要介绍4种程序分析方法一数据流分析、基于约束的分析、抽象解释、类型和作用系统, 涵盖基本语义属性和高级算法。全书共6章, 第1章为概述, 第2-5章依次为数据流分析、基于约束的分析、抽象解释、类型和作用系统, 第6章为分析算法介绍。 |
题名主题: | 程序分析 |
中图分类: | TP311.11 |
个人名称等同: | 尼尔森 著 |
个人名称等同: | 尼尔森 著 |
个人名称等同: | 汉金 著 |
个人名称次要: | 詹博华 译 |
个人名称次要: | 冀振燕 译 |
个人名称次要: | 孙文辉 译 |
记录来源: | CN 湖北三新 20231028 |