计算机科学技术文库下载_中国高校课件下载中心

文档格式：PDF　文档大小：305.04KB　文档页数：99

中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第3章基于约束的分析（Nielson等）Principles of Program Analysis - Control Flow Analysis

文档格式：PPT　文档大小：241.5KB　文档页数：16

中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第2章数据流分析（补充）

文档格式：PDF　文档大小：513.93KB　文档页数：151

中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第2章数据流分析（Nielson等）Principles of Program Analysis - Data Flow Analysis

文档格式：PPT　文档大小：311KB　文档页数：12

中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第1章引言（主讲：陈意云）

文档格式：PPT　文档大小：891KB　文档页数：64

• 一个简单的代码生成算法 • 涉及存储管理，指令选择，寄存器分配和计算次序选择等基本问题

文档格式：PPT　文档大小：1.34MB　文档页数：149

• 讨论一个活动记录中的数据布局 • 程序执行过程中，所有活动记录的组织方式

文档格式：PPT　文档大小：5.43MB　文档页数：293

– 上下文无关文法 – 自上而下分析和自下而上分析 – 围绕分析器的自动生成展开

文档格式：PPT　文档大小：0.99MB　文档页数：71

中国科学技术大学：《编译原理与技术》课程教学资源（PPT课件讲稿）第2章词法分析

文档格式：PPT　文档大小：536.5KB　文档页数：26

中国科学技术大学：《编译原理与技术》课程教学资源（PPT课件讲稿）第1章引论（主讲：张昱、陈意云）

文档格式：PPT　文档大小：857KB　文档页数：65

中国科学技术大学：《计算机科学导论》课程教学资源（PPT课件讲稿）第一讲代数等式理论的自动定理证明