本课程的主题是程序分析技术。刘教授从五个方面讲述了程序设计语言及实现技术，包括程序设计语言的发展、元程序设计、数据流和信息流的分析技术、程序切片与部分求值的案例与分析。
刘磊，吉林大学教授，博导。从事程序理论、程序设计语言及实现技术、软件自动化等方向的研究。特别是在形式化方法、过程式语言的部分求值技术、程序抽象化等方面取得了一批国内领先的研究成果.承担和参加了国家自然科学基金项目4项、省部级项目2项、协作项目3项、发表学术论文50余篇，其中被三大检索收录14篇、学术著作三部。曾荣获宝钢优秀教师奖，承担过多项教改项目、精品课程建设项目，获得三项省级奖励。
| 课件1 | 程序设计语言的发展（一） | 1学时 | 0时47分36秒 |
| 课件2 | 程序设计语言的发展（二） | 1学时 | 0时47分52秒 |
| 课件3 | 元程序设计（一） | 1学时 | 0时45分45秒 |
| 课件4 | 元程序设计（二） | 1学时 | 0时45分37秒 |
| 课件5 | 元程序设计（三） | 1学时 | 0时48分14秒 |
| 课件6 | 元程序设计（四） | 1学时 | 0时44分52秒 |
| 课件7 | 数据流分析技术（一） | 1学时 | 0时48分51秒 |
| 课件8 | 数据流分析技术（二） | 2学时 | 1时08分50秒 |
| 课件9 | 信息流分析技术（一） | 1学时 | 0时40分46秒 |
| 课件10 | 信息流分析技术（二） | 1学时 | 0时43分47秒 |
| 课件11 | 程序切片与部分求值 | 2学时 | 1时05分10秒 |
