洪梅 郭孝洪 徐智晨 吕建国 陈锋 刘畅 陆奇 田忠 张福波

程序分片 结点 数据流分析 程序验证 混合编辑器 属性文法 智能化 句法制导的编辑器 抽象语法树 改进算法 纠错方法 增量数据 句法分析器 数据流信息 纠错功能 增量程序 增量逆句法分析器 人工智能 设计环境 错误识别

复旦大学计算机科学系