改进的流不敏感的类型限定词推断

• 作者: 李慧松 许智武 陈海明
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 类型转化 类型推断 限定词 流不敏感 联合类型
• 年，卷（期）: 2014,（9）
• 所属期刊栏目: 软件与数据库技术
• 页码范围: 178-184
• 页数: 7页
• 分类号: TP311
• 字数: 9455字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2014.09.034

摘要

类型限定词可以精化标准类型,提高类型系统的表达能力.流不敏感的类型限定词推断已被用于CQual架构,以提高C程序的质量.然而,类型转化会影响类型限定词推断的有效性.首先,展示了一种允许类型转化的程序语言和流不敏感的限定词推断系统;其次,提出了变量参与的限定词推断系统,引入了联合类型并给出约束求解算法;最后,证明了推断的正确性并展示了一些实例运行结果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈海明	中国科学院软件研究所计算机科学国家重点实验室	29	1570	11.0	29.0
2	李慧松	中国科学院软件研究所计算机科学国家重点实验室	1	0	0.0	0.0
6	许智武	中国科学院软件研究所计算机科学国家重点实验室	2	6	1.0	2.0