冯晓兵 冯玉琳 武成岗 张兆庆 陈秀忠 李忠诚 唐锋 马湘宁 王春峰

编译器 资源管理 基本函数 软件开发方法 计算序列 函数式程序设计语言 抽象机 模块系统 即时计算 程序计算 类型系统 最小不动点 接纳控制 解函数 连接管理 函数定义 二进制翻译 服务质量 标志位优化 G-del语言 计算法则 不动点特征 延迟求值