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

重庆工学院教学日历计划表 项目全总 学时分配 课程名称:程序设计基础(C语言理论

7.1概述 7.2键盘输入中断调用 7.3显示器输出中断调用 7.4磁盘文件管理

本章详细讲述汇编 语言程序设计的基本步骤,通过实例 分析说明程序的基本结构,按照程序 设计的基本步骤设计各种结构程序的 方法,主要有:

• 7.1 概述 • 7.2 键盘输入中断调用 • 7.3 显示器输出中断调用 • 7.4 磁盘文件管理

• 程序逻辑：描述和论证程序行为的逻辑 – Hoare逻辑 – Dijkstra最弱前条件演算 • 从程序到定理 – 验证条件生成 • 从定理到证明 – 定理证明器 – 判定过程 • 循环不变式的推断 • 以George C. Necula教授的讲稿为主来介绍

中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第5章 类型和效果系统（补充）

中国科学技术大学：《程序分析与程序验证》课程教学资源（课件讲稿）第5章 类型和效果系统（Nielson等）Principles of Program Analysis - Type and Effect Systems

华东理工大学：《VB程序设计》课程教学资源（PPT课件）07 VB程序控制结构（2）

华东理工大学：《VB程序设计》课程教学资源（PPT课件）06 VB程序控制结构（1）