程序分析方法
￥ 43.25 9.6折 ￥ 45 九五品
仅1件
作者刘磊 ... [等] 编著
出版社机械工业出版社
ISBN9787111422525
出版时间2013-06
版次1
装帧平装
开本16开
纸张胶版纸
页数196页
定价45元
上书时间2024-12-06
商品详情
- 品相描述：九五品
- 商品描述
-
基本信息
书名:程序分析方法
定价：45.00元
作者:刘磊 ... [等] 编著
出版社：机械工业出版社
出版日期：2013-06-01
ISBN：9787111422525
字数：
页码：196
版次：5
装帧：平装
开本：12开
商品重量：
编辑推荐
《程序分析方法》作者多年来一直为吉林大学计算机专业、软件工程专业的研究生讲授程序分析的课程，因内容广泛、方法实用，该课程深受学生欢迎。遗憾的是，这门课程一直缺少相应的教材，国内这方面的参考书也非常少。鉴于此，《程序分析方法》作者根据自己多年的教学和科研经验，在以往研究生授课讲义的基础上编写了此书。《程序分析方法》旨在向读者介绍程序分析的各种方法、技巧。
内容提要
《程序分析方法》共7章，章介绍程序设计语言的历史以及未来的发展趋势；第2章介绍元程序设计，包括元程序的概述、元程序系统及其应用；第3章介绍信息流分析技术；第4章介绍别名分析的相关知识；第5章介绍程序分片的基础知识和方法；第6章介绍形式概念分析的相关知识和应用；第7章介绍部分求值技术的相关内容。 《程序分析方法》可作为计算机相关专业本科高年级学生及研究生教材，也可作为程序开发人员的参考用书。
目录
前言章程序设计语言1.1程序设计语言发展的四个阶段1.1.1机器语言1.1.2汇编语言1.1.3高级语言1.1.4第四代语言1.2程序设计语言的发展趋势小结第2章元程序设计2.1元程序介绍2.2元程序设计系统2.2.1元程序系统的组成2.2.2中间表示2.2.3规则分类和对应的结构2.2.4元级操作2.2.5系统的生成2.3元级系统的实际应用2.3.1如何构造高效的系统2.3.2几个元级系统的介绍小结第3章信息流分析3.1控制流分析3.1.1控制流分析实例3.1.2控制流分析方法3.1.3程序的结构化转换3.2数据流分析技术3.2.1数据流方程定义和活跃变量分析3.2.2数据流异常的检测3.2.3常量表达式节省3.2.4公共子表达式节省3.3信息流分析技术的应用实例3.3.1方法描述3.3.2应用小结第4章别名分析4.1指针别名4.1.1指针别名的产生4.1.2别名信息的分类4.2别名信息的表示4.2.1别名信息的表示介绍4.2.2别名计算4.3C语言的别名计算4.3.1C语言的别名采集器4.3.2C语言的别名传播器4.4Java的别名分析4.4.1Java中的别名问题4.4.2别名分析算法小结第5章程序分片5.1程序分片的基础知识5.1.1程序分片的基本概念5.1.2一些常见的程序分片方法5.1.3程序分片的应用5.2程序分片方法5.2.1基于数据流方程求解的过程内分片5.2.2基于数据流方程求解的过程间分片5.2.3基于程序依赖图的过程内分片5.2.4基于系统依赖图的过程间分片5.2.5动态分片5.2.6条件分片小结第6章形式概念分析6.1FCA和格理论基础介绍6.1.1偏序集及完全格的基本概念6.1.2Galois连接6.2FCA的基本概念6.2.1上下文6.2.2概念6.2.3概念格6.2.4多值上下文6.2.5概念格的生成算法6.2.6生成概念格的工具6.3概念格在程序分析中的应用6.3.1概述6.3.2从源程序中推导配置结构6.3.3从遗留软件中提取类或模块6.3.4重构类结构6.3.5动态分析小结第7章部分求值技术7.1部分求值技术基本原理7.1.1Kleene的s-m-n理论7.1.2部分求值器的定义7.2几种部分求值技术的介绍7.2.1静态部分求值方法7.2.2动态部分求值技术7.2.3动静态结合的部分求值技术7.3Futamura投影定理7.3.1第一投影定理7.3.2编译器的生成与第二投影定理7.3.3第三投影定理7.4程序点例化技术7.4.1状态、程序点和分割7.4.2程序点例化7.4.3不同语句的代码生成7.4.4转换压缩7.4.5正确的分割技巧7.4.6简单绑定时间分析小结参考文献
作者介绍
刘磊，吉林大学教授，现任吉林大学第一届教学委员会委员、信息学部学术委员会副主任委员和计算机科学与技术学院学术委员会主任委员。兼任吉林省高等学校软件新技术重点实验室（吉林大学）主任。主要研究领域为程序设计语言及其实现技术、软件安全与云计算、语义网与本体工程等，主要在程序分析技术、程序理论、编译技术、程序转换技术、语义网等方面，进行了不断的探索和潜心研究，取得了一系列有价值的研究成果。
序言
-
【封面】
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价