改进的流不敏感的类型限定词推断
文献类型：期刊论文
| 作者 | 李慧松 ; 许智武 ; 陈海明 |
| 刊名 | 计算机科学
 |
| 出版日期 | 2014 |
| 卷号 | 41期号:9页码:178-184 |
| 关键词 | 类型转化 类型推断 限定词 流不敏感 联合类型 Type casts Type inference Qualifiers Flow insensitive Union types |
| ISSN号 | 1002-137X |
| 其他题名 | Improved Flow-insensitive Type Qualifier Inference |
| 中文摘要 | 类型限定词可以精化标准类型,提高类型系统的表达能力.流不敏感的类型限定词推断已被用于CQual架构,以提高C程序的质量.然而,类型转化会影响类型限定词推断的有效性.首先,展示了一种允许类型转化的程序语言和流不敏感的限定词推断系统;其次,提出了变量参与的限定词推断系统,引入了联合类型并给出约束求解算法;最后,证明了推断的正确性并展示了一些实例运行结果. |
| 英文摘要 | 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. |
| 收录类别 | CSCD |
| 语种 | 中文 |
| CSCD记录号 | CSCD:5226158 |
| 公开日期 | 2014-12-16 |
| 源URL | [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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。