徐贵红 林凯 陆汝占 刘淑芬 张茂元 黄小戎 张健 卢正鼎 孙永强 刘居红 左万利

并行 关联图 部分正确性 惰化图 合流性 递归 ECA-规则 约束求解 约束 面向Agent F模式 转换规则 数据库状态 重写系统 拟序关系 模式化 主动性 归纳假设 程序转换 子表达式 最小不动点 静态分析 主动数据库 主动规则