流不敏感相关论文
类型限定词可以精化标准类型,提高类型系统的表达能力.流不敏感的类型限定词推断已被用于CQual架构,以提高C程序的质量.然而,类型......
指针分析是数据流分析中的关键性技术，其分析结果是编译优化和程序变换的基础．在基于包含的指针分析算法研究的基础上，对Narse优先权......
指针分析是程序分析和编译优化的基础,针对基于包含的指针分析算法的改进一直是指针分析领域研究的热点之一.文中从该指针分析算法......
期刊
