中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第3章 基于约束的分析（Nielson等）Principles of Program Analysis - Control Flow Analysis
文件格式: PDF大小: 305.04KB页数: 99
中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第2章 数据流分析（补充）
文件格式: PPT大小: 241.5KB页数: 16
中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第2章 数据流分析（Nielson等）Principles of Program Analysis - Data Flow Analysis
文件格式: PDF大小: 513.93KB页数: 151
中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第1章 引言（主讲：陈意云）
文件格式: PPT大小: 311KB页数: 12
– 通过实例来介绍代码改进的主要机会 – 数据流分析包括的几类重要的全局收集的信息 – 数据流分析的一般框架 – 和一般框架有区别的常量传播 – 部分冗余删除的优化技术 – 循环的识别和分析
文件格式: PPT大小: 1.32MB页数: 139
• 一个简单的代码生成算法 • 涉及存储管理，指令选择，寄存器分配和计算次序选择等基本问题
文件格式: PPT大小: 891KB页数: 64
介绍几种常用的中间表示：后缀表示、图形表示和三地址代码； 用语法制导定义和翻译方案来说明源语言的各种构造怎样被翻译成中间形式
文件格式: PPT大小: 745KB页数: 67
• 介绍一种简单的函数式编程语言SFP • 介绍一种抽象机FAM，它的机器语言是SFP语言的目标语言 • 介绍SFP各种语言构造到FAM的编译
文件格式: PPT大小: 511KB页数: 47
• 概述面向对象语言的重要概念和实现技术 • 以C++语言为例，介绍如何将C++程序翻译成C程序 • 实际的编译器大都把C++程序直接翻译成低级语言程序
文件格式: PPT大小: 527KB页数: 37
• C语言编译系统 –预处理器、编译器、汇编器、连接器 – 目标文件的格式、静态库、动态连接 • Java运行系统 • 无用单元收集（垃圾收集）
文件格式: PPT大小: 639.5KB页数: 69