周天琳 张卫丰 杨彬 徐宝文 周毓明 陈林 张迎周 周晓宇

强更新 C0x 面向方面程序设计 泛型 别名分析 单子切片 类型传播分析 通知编织

EMC中国研发中心 江苏省软件质量研究所 南京邮电大学计算机学院 南京大学计算机科学与技术系 东南大学计算机科学与工程学院 南京航空航天大学信息科学与技术学院 南京大学计算机软件新技术国家重点实验室 北京邮电大学网络与交换技术国家重点实验室