程序分析原理
全新正版 极速发货
￥ 89.48 6.4折 ￥ 139 全新
库存4件
作者(丹)弗莱明·尼尔森,(丹)汉内·里斯·尼尔森,(英)克里斯·汉金
出版社机械工业出版社
ISBN9787111706885
出版时间2022-07
装帧平装
开本16开
定价139元
货号31499694
上书时间2024-06-01
商品详情
- 品相描述：全新
- 商品描述
-
前言
商品简介该书共分为6章，其中第1章为介绍，第2~5章依次为数据流分析、基于约束的分析、抽象解释、类型和作用系统，第6章为分析算法介绍。该书内容基本囊括了程序分析领域中的经典方法和技术，配以严谨的形式化系统，全书思路清晰、逻辑性强，是不可多得的经典书籍。
作者简介
冀振燕，副教授，博士生导师。CCF理论计算机专委会委员。1999年7月于中国科学院软件研究所取得博士学位；1999年11月至2000年6月在挪威科技大学作博士后；2000年7月至2008年9月在瑞典Mid-Sweden大学任教；2008年10月至2009年3月在北京工业大学软件学院工作；2009年4月至今在北京交通大学软件学院工作。参与重量、教育部lBM精品课程“软件系统分析与设计技术”的建设，参与重量、北京市级教学团队的建设。研究方向：人工智能、计算机视觉、软件服务工程、分布式系统等。承担了多项重量、省部级科研项目以及企业项目，目前已在国内外知名期刊会议发表论文数十篇，出版书籍多部。
目录
前言<br/>第1章概述1<br/>11什么是程序分析1<br/>12设置场景2<br/>13数据流分析3<br/>131等式方法3<br/>132基于约束的方法5<br/>14基于约束的分析6<br/>15抽象解释8<br/>16类型和作用系统11<br/>161注释类型系统12<br/>162作用系统14<br/>17算法16<br/>18程序转换17<br/>结束语18<br/>迷你项目18<br/>练习20<br/>第2章数据流分析22<br/>21过程内数据流分析22<br/>211可用表达式分析24<br/>212到达定值分析26<br/>213很忙的表达式分析29<br/>214活跃变量分析31<br/>215派生数据流信息33<br/>22理论性质34<br/>221结构操作语义34<br/>222活跃变量分析的正确性38<br/>23单调框架41<br/>231基本定义43<br/>232案例回顾44<br/>233一个不可分配的例子46<br/>24等式系统的求解47<br/>241MFP解47<br/>242MOP解50<br/>25过程间分析53<br/>251结构操作语义55<br/>252过程内分析与过程间分析56<br/>253显式使用上下文58<br/>254调用字符串作为上下文61<br/>255假设集作为上下文63<br/>256流敏感与流不敏感64<br/>26形状分析66<br/>261结构操作语义67<br/>262形状图70<br/>263分析的描述73<br/>结束语82<br/>迷你项目84<br/>练习86<br/>第3章基于约束的分析90<br/>31抽象0睠FA分析90<br/>311分析的描述91<br/>312分析的明确定义96<br/>32理论性质97<br/>321结构操作语义98<br/>322语义正确性101<br/>323解的存在性104<br/>324余归纳和归纳的比较106<br/>33语法引导的0睠FA分析108<br/>331语法引导的规范108<br/>332解的保持110<br/>34基于约束的0睠FA分析111<br/>341解的保持113<br/>342约束的求解113<br/>35添加数据流分析117<br/>351抽象值为幂集117<br/>352抽象值为完全格119<br/>36添加上下文信息122<br/>361均匀k睠FA分析123<br/>362笛卡儿积算法127<br/>结束语128<br/>迷你项目130<br/>练习132<br/>第4章抽象解释135<br/>41一种普通的正确性定义135<br/>411正确性关系136<br/>412表示函数138<br/>413一个较小的扩展139<br/>42不动点的近似141<br/>421加宽算子143<br/>422变窄算子146<br/>43Galois连接149<br/>431Galois连接的性质152<br/>432Galois插入155<br/>44Galois连接的系统的设计方法157<br/>441组件上的组合159<br/>442其他组合方式162<br/>45衍生的操作165<br/>451沿着抽象化函数衍生165<br/>452数据流分析中的应用168<br/>453沿着具体化函数衍生171<br/>结束语174<br/>迷你项目176<br/>练习177<br/>第5章类型和作用系统182<br/>51控制流分析182<br/>511底层类型系统183<br/>512基于类型的分析184<br/>52理论性质187<br/>521自然语义187<br/>522语义正确性189<br/>523解的存在性191<br/>53类型推导算法193<br/>531一个底层类型系统的算法193<br/>532一个控制流分析的算法196<br/>533语法可靠性和完备性200<br/>534解的存在性204<br/>54作用205<br/>541副作用分析206<br/>542异常分析210<br/>543区域推导213<br/>55行为219<br/>551通信分析219<br/>结束语225<br/>迷你项目228<br/>练习231<br/>第6章算法234<br/>61工作列表算法234<br/>611工作列表算法的结构235<br/>612LIFO和FIFO迭代238<br/>62逆后序迭代239<br/>621循环算法242<br/>63在强分量里迭代243<br/>结束语245<br/>迷你项目247<br/>练习248<br/>附录A偏序集合250<br/>附录B归纳和余归纳258<br/>附录C图和正则表达式265<br/>参考文献272<br/>符号索引283<br/>术语索引287
内容摘要
该书共分为6章，其中第1章为介绍，第2~5章依次为数据流分析、基于约束的分析、抽象解释、类型和作用系统，第6章为分析算法介绍。该书内容基本囊括了程序分析领域中的经典方法和技术，配以严谨的形式化系统，全书思路清晰、逻辑性强，是不可多得的经典书籍。<br><br>
— 没有更多了 —
以下为对购买帮助不大的评价