图 书 馆
程序分析基础Fundamentals Of Program Analysis |
|
| 课程网址: | https://ocw.mit.edu/courses/6-820-fundamentals-of-program-analysi... |
| 主讲教师: | Prof. Armando Solar-Lezama |
| 开课单位: | 麻省理工学院 |
| 开课时间: | 2015-01-01 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | This course offers a comprehensive introduction to the field of program analysis. It covers some of the major forms of program analysis including Type Checking, Abstract Interpretation and Model Checking. For each of these, the course covers the underlying theories as well as modern techniques and applications. |
| 关 键 词: | 程序分析; 主要形式; 现代技术 |
| 课程来源: | 麻省理工学院公开课 |
| 数据采集: | 2024-04-22：chenjy |
| 最后编审: | 2024-04-22：chenjy |
| 阅读次数: | 6 |