Institutional Repository
| 改进的流不敏感的类型限定词推断 | |
| Alternative Title | Improved Flow-insensitive Type Qualifier Inference |
| 李慧松; 许智武; 陈海明 | |
| 2014 | |
| Source | 计算机科学
 |
| ISSN | 1002-137X |
| Volume | 41Issue:9Pages:178-184 |
| English Abstract | 类型限定词可以精化标准类型,提高类型系统的表达能力.流不敏感的类型限定词推断已被用于CQual架构,以提高C程序的质量.然而,类型转化会影响类型限定词推断的有效性.首先,展示了一种允许类型转化的程序语言和流不敏感的限定词推断系统;其次,提出了变量参与的限定词推断系统,引入了联合类型并给出约束求解算法;最后,证明了推断的正确性并展示了一些实例运行结果. |
| Indexed Type | CSCD |
| Abstract | 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. |
| Keyword | 类型转化 类型推断 限定词 流不敏感 联合类型 Type Casts Type Inference Qualifiers Flow Insensitive Union Types |
| Department | 中国科学院软件研究所计算机科学国家重点实验室 北京100190;中国科学院大学 北京100049 中国科学院软件研究所计算机科学国家重点实验室 北京100190 |
| Language | 中文 |
| CSCD ID | CSCD:5226158 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/16714 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 李慧松,许智武,陈海明. 改进的流不敏感的类型限定词推断[J]. 计算机科学,2014,41(9):178-184. |
| APA | 李慧松,许智武,&陈海明.(2014).改进的流不敏感的类型限定词推断.计算机科学,41(9),178-184. |
| MLA | 李慧松,et al."改进的流不敏感的类型限定词推断".计算机科学 41.9(2014):178-184. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment