图 书 馆
6.883程序分析6.883 Program Analysis |
|
| 课程网址: | http://ocw.mit.edu/courses/electrical-engineering-and-computer-sc... |
| 主讲教师: | Prof. Michael Ernst |
| 开课单位: | 麻省理工学院 |
| 开课时间: | 信息不详。欢迎您在右侧留言补充。 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | 6.883 is a graduate seminar that investigates a variety of program analysis techniques that address software engineering tasks. Static analysis topics include abstract interpretation (dataflow), type systems, model checking, decision procedures (SAT, BDDs), theorem-proving. Dynamic analysis topics include testing, fault isolation (debugging), model inference, and visualization. While the course focuses on the design and implementation of programming tools, the material will be useful to anyone who wishes to improve his or her programming or understand the state of the art. Students are expected to read classic and current technical papers, actively participate in class discussion, perform small exercises that provide experience with a variety of tools, and complete a team research project. |
| 关 键 词: | 程序分析; 静态分析; 抽象解释（数据流）; 类型系统; 模型检验; 决策程序; 定理证明; 动态分析; 测试; 故障隔离（调试）; 模型推理和可视化; 决策支持 |
| 课程来源: | 麻省理工学院公开课 |
| 最后编审: | 2017-04-18：cmh |
| 阅读次数: | 3 |