机构

• 计算技术研究所 [1]
• 软件研究所 [1]

采集方式

• OAI收割 [2]

内容类型

• 期刊论文 [2]

发表日期

• 2014 [1]
• 2011 [1]

学科主题

筛选

浏览/检索结果: 共2条，第1-2条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 改进的流不敏感的类型限定词推断 期刊论文  OAI收割 计算机科学, 2014, 卷号: 41, 期号: 9, 页码: 178-184 李慧松; 许智武; 陈海明   |  收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16 类型转化  类型推断  限定词  流不敏感  联合类型  Type casts  Type inference  Qualifiers  Flow insensitive  Union types   基于包含的指针分析优化技术综述 期刊论文  OAI收割 计算机学报, 2011, 卷号: 34.0, 期号: 007, 页码: 1224 作者:  陈聪明;  霍玮;  于洪涛;  冯晓兵   |  收藏  |  浏览/下载：2/0  |  提交时间：2023/12/04 指针分析  Andersen风格  指向集  约束图  流不敏感