| 改进的流不敏感的类型限定词推断 |
| 其他题名 | Improved Flow-insensitive Type Qualifier Inference
|
| 李慧松; 许智武; 陈海明
|
| 2014
|
| 发表期刊 | 计算机科学
 |
| ISSN | 1002-137X
|
| 卷号 | 41期号:9页码:178-184 |
| 摘要 | 类型限定词可以精化标准类型,提高类型系统的表达能力.流不敏感的类型限定词推断已被用于CQual架构,以提高C程序的质量.然而,类型转化会影响类型限定词推断的有效性.首先,展示了一种允许类型转化的程序语言和流不敏感的限定词推断系统;其次,提出了变量参与的限定词推断系统,引入了联合类型并给出约束求解算法;最后,证明了推断的正确性并展示了一些实例运行结果. |
| 收录类别 | CSCD
|
| 其他摘要 | Type qualifiers can refine the standard types and improve the expressivity of type systems.Flow-insensitive type qualifier inference has been used in the CQual framework to improve the quality of C programs.Type casts,however,will affect the effectiveness of type qualifier inference.First a language allowing type casts and its flow-insensitive qualifier inference system were presented. Then this paper proposed a variable-involved inference system,introduced union types and given constraints solving algorithm.Finally,the soundness was proved and some case studies were pre-sented. |
| 关键词 | 类型转化
类型推断
限定词
流不敏感
联合类型
Type Casts
Type Inference
Qualifiers
Flow Insensitive
Union Types
|
| 部门归属 | 中国科学院软件研究所计算机科学国家重点实验室 北京100190;中国科学院大学 北京100049 中国科学院软件研究所计算机科学国家重点实验室 北京100190
|
| 语种 | 中文
|
| CSCD记录号 | CSCD:5226158
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/16714
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
李慧松,许智武,陈海明. 改进的流不敏感的类型限定词推断[J]. 计算机科学,2014,41(9):178-184.
|
| APA |
李慧松,许智武,&陈海明.(2014).改进的流不敏感的类型限定词推断.计算机科学,41(9),178-184.
|
| MLA |
李慧松,et al."改进的流不敏感的类型限定词推断".计算机科学 41.9(2014):178-184.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论