杨晋吉 姜云飞 邹先霞 舒忠梅 颜启华 左亚尧 沈波 刘波

未赋值变量 命题逻辑表达式 多维维护 数据一致性 划分点定位算法 划分点 实化视图 推进

广东广州 暨南大学计算机系 中山大学软件研究所 暨南大学计算机科学系 中山大学计算机科学系 华南师范大学计算机系 广东工业大学计算机学院 华南师范大学计算机科学系