张磊 史成荣 李兆鹏 邢鹏 李凡 于海亮 金心宇 袁丽娜

扩展的控制流图 应用关系 类型注解 窗体 高速以太网 ID约束检查 具体化 携带证明的代码

安徽合肥 浙江大学信息科学与工程学院 中国科学院计算机科学重点实验室 安徽省计算与通信软件重点实验室 中国科学技术大学计算机科学技术系 中国科学技术大学计算机科学与技术系 中国科学院计算机系统结构重点实验室 中国科学技术大学计算机科学与技术学院