王志坚 杨继锋 邵志清 王军 徐淑颋 孙永强 陈昌生 杨敏

归纳 混合语言 项重写系统 函数程序设计语言 类型系统 程序综合 定理证明 函数式语言 DAMLOIL 无归纳的归纳法 并行数据库 并发控制 概念学习 Prolog 代数规范 代数规约语言 语义网 事务处理 测试 Ontology BSP模型

上海交通大学计算机科学与工程系 华东理工大学计算机系 华东理工大学计算机科学与工程系