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

摘要：

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

关键词：类型转化、类型推断、限定词、流不敏感、联合类型

所属期刊栏目：41

分类号：TP311(计算技术、计算机技术)

资助基金：国家科技重大专项2012ZX01039-004

在线出版日期：2014-11-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：178-184