郭宇 张昱 陈斌文 朱关铭 李凡 李兆鹏 陈意云 华保健 缪栋 郭帆 陈海明 张晓莺 孙永强 胡荣贵 黄文集 戴晓君 缪淮扣 梅宏

数据类型系统 软件安全 程序设计语言 面向对象 局部验证 函数式语言 z 作用域 证明方法 多态 汇编语言 ID约束检查 语义分析 XML Schema 模式 动态联编 XML 数据类型 递归函数 类型系统 算法优化 子类型关系判定 类型安全策略 静态类型化语言 规格说明