柴玉梅 韩鸿莺 刘磊 金英 马世龙 王胜军 郭德贵 吕江花 袁琦 张志春 潘静

基调 设备分配 元程序设计 语义指派函数 元程序 软件自动生成 基本图 g演算 Monad 回路 转换规则 顺序化 过程式语言 程序分析 Class 接续 高阶函数 ATLAS 基于语法的处理 有向图 元程序设计系统 项 标准文法 过程标识符 Comprehension BIND型Monad ATE 非终极符 接续函数 生成式

吉林大学计算机科学系 吉林长春 吉林大学计算机科学与技术学院 吉林通化 通化市建设银行中心支行科技部 北京100083吉林大学大学计算机科学与... 郑州工学院计算机科学系 北京航空航天大学软件开发环境国家重点实验...