专业提升 技工学校教师 建筑工程技术 市场监督管理 机械工程 爆破 环保 石油化工 林业
专业培训 金融经济 法律与司法 图书、文博、档案资料 广播电视 农兽畜业 海洋渔业 文学艺术 交通工程 电子工程技术 冶金工程 地质勘查 国土测绘 水利工程 轻工技术与工程 食品科学与工程 电力工程
课程选修 管理学 职业能力 安全教育 自然科学 社会科学 思维科学 医疗保健
在线咨询
帮助中心
APP下载
小程序
关注我们
本课程从五个方面讲述了程序设计语言及实现技术,即:程序设计语言的发展、元程序设计、数据流和信息流的分析技术、程序切片与部分求值的案例与分析。
0时47分36秒
0时47分52秒
0时45分45秒
0时45分37秒
0时48分14秒
0时44分53秒
0时48分51秒
1时08分50秒
0时40分46秒
0时43分47秒
1时05分10秒
刘磊,男,吉林大学教授,博士生导师。从事程序理论、程序设计语言及实现技术、软件自动化等方向的研究。特别是在形式化方法、过程式语言的部分求值技术、程序抽象化等方面取得了一批国内领先的研究成果。承担和参加了国家自然科学基金项目4项、省部级项目2项、协作项目3项。发表学术论文50余篇,其中被三大检索收录14篇、学术著作3部。承担过多项教改项目、精品课程建设项目,获得三项省级奖励。曾荣获宝钢优秀教师奖。