Flow-insensitive type qualifier inference on programming languages allowing type casts
文献类型：期刊论文
| 作者 | Li, Huisong (1) |
| 刊名 | Computer Modelling and New Technologies
 |
| 出版日期 | 2014 |
| 卷号 | 18期号:2页码:120-125 |
| ISSN号 | 14075806 |
| 通讯作者 | Li, H.(ihs@ios.ac.cn) |
| 中文摘要 | Type qualifiers are lightweight specifications of atomic properties that refine the standard types. Flow-insensitive type qualifier inference has been used in the CQual framework to improve the quality of C programs. However, type casts will affect the effectiveness of type qualifier inference, as they can lead to either accepting some flawed programs due to discarding some useful qualifier information, or rejecting some safe programs when the analysis is conservative. In this paper, we first present a language, which allows type casts and formalize its flow-insensitive qualifier inference system. We then show some examples to illustrate how qualifiers are lost because of type casts in CQual and give an idea on solving this problem. |
| 英文摘要 | Type qualifiers are lightweight specifications of atomic properties that refine the standard types. Flow-insensitive type qualifier inference has been used in the CQual framework to improve the quality of C programs. However, type casts will affect the effectiveness of type qualifier inference, as they can lead to either accepting some flawed programs due to discarding some useful qualifier information, or rejecting some safe programs when the analysis is conservative. In this paper, we first present a language, which allows type casts and formalize its flow-insensitive qualifier inference system. We then show some examples to illustrate how qualifiers are lost because of type casts in CQual and give an idea on solving this problem. |
| 收录类别 | EI |
| 语种 | 英语 |
| 公开日期 | 2014-12-16 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/17028]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | Li, Huisong . Flow-insensitive type qualifier inference on programming languages allowing type casts[J]. Computer Modelling and New Technologies,2014,18(2):120-125. |
| APA | Li, Huisong .(2014).Flow-insensitive type qualifier inference on programming languages allowing type casts.Computer Modelling and New Technologies,18(2),120-125. |
| MLA | Li, Huisong ."Flow-insensitive type qualifier inference on programming languages allowing type casts".Computer Modelling and New Technologies 18.2(2014):120-125. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。