孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 占位居中 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台
商品
拍卖区
在售
已售
搜索历史
搜索
高级搜索

程序分析原理

程序分析原理
分享
扫描下方二维码分享到微信
打开微信，点击右上角”+“，
使用”扫一扫“即可将网页分享到朋友圈。
作者: [英] 著 , [丹麦] , [丹麦]
出版社: 机械工业出版社
2022-07
版次: 1
ISBN: 9787111706885
定价: 139.00
装帧: 其他
开本: 16开
纸张: 胶版纸
页数: 300页
字数: 462千字
分类: 计算机与互联网
9人买过
  • 该书共分为6章，其中第1章为介绍，第2~5章依次为数据流分析、基于约束的分析、抽象解释、类型和作用系统，第6章为分析算法介绍。该书内容基本囊括了程序分析领域中的经典方法和技术，配以严谨的形式化系统，全书思路清晰、逻辑性强，是不可多得的经典书籍。 前言

    第1章概述1

    11什么是程序分析1

    12设置场景2

    13数据流分析3

    131等式方法3

    132基于约束的方法5

    14基于约束的分析6

    15抽象解释8

    16类型和作用系统11

    161注释类型系统12

    162作用系统14

    17算法16

    18程序转换17

    结束语18

    迷你项目18

    练习20

    第2章数据流分析22

    21过程内数据流分析22

    211可用表达式分析24

    212到达定值分析26

    213很忙的表达式分析29

    214活跃变量分析31

    215派生数据流信息33

    22理论性质34

    221结构操作语义34

    222活跃变量分析的正确性38

    23单调框架41

    231基本定义43

    232案例回顾44

    233一个不可分配的例子46

    24等式系统的求解47

    241MFP解47

    242MOP解50

    25过程间分析53

    251结构操作语义55

    252过程内分析与过程间分析56

    253显式使用上下文58

    254调用字符串作为上下文61

    255假设集作为上下文63

    256流敏感与流不敏感64

    26形状分析66

    261结构操作语义67

    262形状图70

    263分析的描述73

    结束语82

    迷你项目84

    练习86

    第3章基于约束的分析90

    31抽象0CFA分析90

    311分析的描述91

    312分析的明确定义96

    32理论性质97

    321结构操作语义98

    322语义正确性101

    323解的存在性104

    324余归纳和归纳的比较106

    33语法引导的0CFA分析108

    331语法引导的规范108

    332解的保持110

    34基于约束的0CFA分析111

    341解的保持113

    342约束的求解113

    35添加数据流分析117

    351抽象值为幂集117

    352抽象值为完全格119

    36添加上下文信息122

    361均匀kCFA分析123

    362笛卡儿积算法127

    结束语128

    迷你项目130

    练习132

    第4章抽象解释135

    41一种普通的正确性定义135

    411正确性关系136

    412表示函数138

    413一个较小的扩展139

    42不动点的近似141

    421加宽算子143

    422变窄算子146

    43Galois连接149

    431Galois连接的性质152

    432Galois插入155

    44Galois连接的系统的设计方法157

    441组件上的组合159

    442其他组合方式162

    45衍生的操作165

    451沿着抽象化函数衍生165

    452数据流分析中的应用168

    453沿着具体化函数衍生171

    结束语174

    迷你项目176

    练习177

    第5章类型和作用系统182

    51控制流分析182

    511底层类型系统183

    512基于类型的分析184

    52理论性质187

    521自然语义187

    522语义正确性189

    523解的存在性191

    53类型推导算法193

    531一个底层类型系统的算法193

    532一个控制流分析的算法196

    533语法可靠性和完备性200

    534解的存在性204

    54作用205

    541副作用分析206

    542异常分析210

    543区域推导213

    55行为219

    551通信分析219

    结束语225

    迷你项目228

    练习231

    第6章算法234

    61工作列表算法234

    611工作列表算法的结构235

    612LIFO和FIFO迭代238

    62逆后序迭代239

    621循环算法242

    63在强分量里迭代243

    结束语245

    迷你项目247

    练习248

    附录A偏序集合250

    附录B归纳和余归纳258

    附录C图和正则表达式265

    参考文献272

    符号索引283

    术语索引287
  • 内容简介:
    该书共分为6章，其中第1章为介绍，第2~5章依次为数据流分析、基于约束的分析、抽象解释、类型和作用系统，第6章为分析算法介绍。该书内容基本囊括了程序分析领域中的经典方法和技术，配以严谨的形式化系统，全书思路清晰、逻辑性强，是不可多得的经典书籍。
  • 目录:
    前言

    第1章概述1

    11什么是程序分析1

    12设置场景2

    13数据流分析3

    131等式方法3

    132基于约束的方法5

    14基于约束的分析6

    15抽象解释8

    16类型和作用系统11

    161注释类型系统12

    162作用系统14

    17算法16

    18程序转换17

    结束语18

    迷你项目18

    练习20

    第2章数据流分析22

    21过程内数据流分析22

    211可用表达式分析24

    212到达定值分析26

    213很忙的表达式分析29

    214活跃变量分析31

    215派生数据流信息33

    22理论性质34

    221结构操作语义34

    222活跃变量分析的正确性38

    23单调框架41

    231基本定义43

    232案例回顾44

    233一个不可分配的例子46

    24等式系统的求解47

    241MFP解47

    242MOP解50

    25过程间分析53

    251结构操作语义55

    252过程内分析与过程间分析56

    253显式使用上下文58

    254调用字符串作为上下文61

    255假设集作为上下文63

    256流敏感与流不敏感64

    26形状分析66

    261结构操作语义67

    262形状图70

    263分析的描述73

    结束语82

    迷你项目84

    练习86

    第3章基于约束的分析90

    31抽象0CFA分析90

    311分析的描述91

    312分析的明确定义96

    32理论性质97

    321结构操作语义98

    322语义正确性101

    323解的存在性104

    324余归纳和归纳的比较106

    33语法引导的0CFA分析108

    331语法引导的规范108

    332解的保持110

    34基于约束的0CFA分析111

    341解的保持113

    342约束的求解113

    35添加数据流分析117

    351抽象值为幂集117

    352抽象值为完全格119

    36添加上下文信息122

    361均匀kCFA分析123

    362笛卡儿积算法127

    结束语128

    迷你项目130

    练习132

    第4章抽象解释135

    41一种普通的正确性定义135

    411正确性关系136

    412表示函数138

    413一个较小的扩展139

    42不动点的近似141

    421加宽算子143

    422变窄算子146

    43Galois连接149

    431Galois连接的性质152

    432Galois插入155

    44Galois连接的系统的设计方法157

    441组件上的组合159

    442其他组合方式162

    45衍生的操作165

    451沿着抽象化函数衍生165

    452数据流分析中的应用168

    453沿着具体化函数衍生171

    结束语174

    迷你项目176

    练习177

    第5章类型和作用系统182

    51控制流分析182

    511底层类型系统183

    512基于类型的分析184

    52理论性质187

    521自然语义187

    522语义正确性189

    523解的存在性191

    53类型推导算法193

    531一个底层类型系统的算法193

    532一个控制流分析的算法196

    533语法可靠性和完备性200

    534解的存在性204

    54作用205

    541副作用分析206

    542异常分析210

    543区域推导213

    55行为219

    551通信分析219

    结束语225

    迷你项目228

    练习231

    第6章算法234

    61工作列表算法234

    611工作列表算法的结构235

    612LIFO和FIFO迭代238

    62逆后序迭代239

    621循环算法242

    63在强分量里迭代243

    结束语245

    迷你项目247

    练习248

    附录A偏序集合250

    附录B归纳和余归纳258

    附录C图和正则表达式265

    参考文献272

    符号索引283

    术语索引287
查看详情
相关分类
计算机理论 编程与开发 操作系统 大数据与云计算 图形图像/多媒体 网站设计与网页开发 网络与通讯 硬件、嵌入式开发 办公软件 信息安全 辅助设计与工程计算 软件工程/开发项目管理
相关图书 / 更多
程序分析原理
程序员超强大脑
[荷兰]费莉安·赫尔曼斯（Felienne Hermans）
￥25.00 起
程序分析原理
程序员考前突破：考点精讲、真题精解、难点精练
詹宏锋 李锋 许纪贤 编著
￥50.00 起
程序分析原理
程序员的README
[美]克里斯·里科米尼(Chris Riccomini) (美) 德米特里·里
￥31.98 起
程序分析原理
程序员的制胜技
[土耳其]塞达特·卡帕诺格鲁（Sedat Kapanoglu）
￥31.69 起
程序分析原理
程序设计基础（C语言）（第3版）
刘明军 袁宁 张玲 蒋彦 赵亚欧 编著；潘玉奇 主编；蔺永政
￥28.14 起
程序分析原理
程序设计基础(Python语言)（微课视频版）
陈守森；刘衍琦；邵燕；张言上；任爱华
￥20.58 起
程序分析原理
程序设计算法基础
于瑞国 主编；赵满坤 副主编；喻梅；李雪威
￥33.56 起
程序分析原理
程序员的算法趣题2
[日]增井敏克
￥31.90 起
程序分析原理
程序性能优化理论与方法
韩林；高伟
￥85.40 起
程序分析原理
程序设计基础实验和学习指导（C语言）（微课版）
苏小红 张羽 袁永峰 李东
￥22.31 起
程序分析原理
程序设计基础（C语言）习题集与实验指导（第3版）
蒋彦 袁宁 张玲 赵亚欧 编著；潘玉奇 主编；蔺永政
￥31.29 起
程序分析原理
程序设计基础(C语言)教程
刘媛媛；雷莉霞；胡平
￥14.80 起
您可能感兴趣 / 更多
程序分析原理
康德与现代政治哲学
[英] 卡特琳·弗利克舒
￥25.70 起
程序分析原理
权力的支柱(英国史前沿译丛)
[英]约翰·布鲁尔
￥57.88 起
程序分析原理
如何改变世界-（马克思和马克思主义的传奇）
[英]埃里克·霍布斯鲍姆
￥49.98 起
程序分析原理
飞羽：关于两个父亲和一只喜鹊的回忆（《星期日泰晤士报》年度*佳回忆录，一只捡来的小喜鹊成为“我”的时空穿越机，带来与父亲的和解，和生活的勇气）
[英]查理·吉尔莫
￥21.35 起
程序分析原理
秘史：英国情报机构的崛起
[英]西蒙·鲍尔
￥30.60 起
程序分析原理
羽下之鸟：鸟类骨骼解剖图鉴
[英]卡特里娜·范格鲁 著；沈成 译；未读 出品
￥156.40 起
程序分析原理
非洲大陆简史（萤火虫书系）
[英]阿普里尔·马登
￥39.75 起
程序分析原理
诺奖作家给孩子的阅读课·心智成长（3-9年级，莫言余华的文学启蒙，垫高阅读起点，提升作文能力）
[英]高尔斯华绥等
￥16.05 起
程序分析原理
破茧：认知的深度突围（原书第4版） ［英］理查德·泰普勒 ［英］理查德·泰普勒
[英]理查德·泰普勒
￥28.56 起
程序分析原理
月亮与六便士（名家新译本，别致精装，镂空设计。轨道与旷野之外，寻找第三条道路）
[英]毛姆 著 ，新经典 出品
￥16.80 起
程序分析原理
大英帝国的兴衰：全景式俯瞰英国千年历史沧桑剧变，回首日不落帝国的初升、辉煌与没落
[英]理查德·达吉 著；邵晓燕 魏本超 译；斯坦威 出品
￥41.16 起
程序分析原理
学会悲伤
[英]海伦·拉塞尔 后浪
￥22.36 起
© 2002-2024 Kongfz.com 孔夫子旧书网 版权所有
关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全