钱巨 张卫丰 吴重强 徐宝文

单子 指向分析 指针 单子切片 模块单子语义 动态切片 数据流迭代 程序切片

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