计算机专业读书笔记
来源:互联网 发布:维也纳体系 知乎 编辑:程序博客网 时间:2024/06/06 09:27
《程序切片技术及其应用》 by 李比信
- 该书从学术的角度,讲解程序的数据依赖、控制依赖、程序依赖图的具体含义,以及基于此构造的程序切片的具体含义。
- 控制流基本概念:基本模块(program block)、前必经节点、后必经节点、自然换、CFG可简化充 要条件。
- 数据流基本概念:变量的define-use识别、变量活性分析、
- 程序切片基本概念:对某变量能够产生影响的所有程序代码的集合。M.Weiser认为程序切片本身也是一段可执行程序。
《程序分析方法》 by 刘磊
- 该书从实用的角度,介绍了几种程序分析方法,用于对程序内部流程进行分析。我主要关注的是信息流分析和程序分片技术,即程序切片。
- 基本概念:定值、注销、向下暴露的定值、可能到达(定能达到)的定值、局部向上暴露的使用、活跃变量、注销活跃性
- 重要数据流方程:可能到达B入口和出口的定值集合、定能到达B入口和出口的定值集合。
- 该书同《程序切片技术及其应用》在信息流和程序切片部分介绍的内容一样,不同的是个别概念名称可能不一样,但介绍的是同一个东西。该书更加严谨且使用。
阅读全文
0 0
- 计算机专业读书笔记
- 计算机专业
- 计算机专业
- 计算机专业
- 计算机专业词汇
- 计算机专业英语词汇
- 计算机专业英语词汇
- 计算机专业学习
- 计算机专业学生
- 计算机专业词汇
- 计算机专业用语
- 号称计算机专业
- 计算机专业英语词汇
- 计算机专业英语词汇
- 计算机专业英语词汇
- 计算机专业字汇
- 计算机专业术语
- 计算机专业英语
- Mac 终端命令行提示符更改方法
- epoll源码分析——I/O复用函数总结(二)
- tomcat的404错误解决办法
- Win10 QT5.7.1 opencv开发环境配置及问题解决
- 556. Next Greater Element III
- 计算机专业读书笔记
- 菲索干涉仪 (Fizeau interferometer) 的基本原理
- thinkphp5剖析 模型查询对象类型转数组
- centos6 ,7 使用yum 安装最新nginx版本
- OpenGL Study
- express+webpack+vue.js项目搭建
- JNI编程之打印log
- C++primer学习笔记----面向对象程序设计(1)
- github常用操作