Institutional Repository
| a path-based approach to the detection of infinite looping | |
| Zhang J | |
| 2001 | |
| 会议名称 | 2nd Asia-Pacific Conference on Quality Software |
| 页码 | 88-94 |
| 会议日期 | DEC 10-11, |
| 会议地点 | HONG KONG, PEOPLES R CHINA |
| 收录类别 | istp |
| 出版地 | 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA |
| 出版者 | SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS |
| ISBN | 0-7695-1287-9 |
| 部门归属 | Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China. |
| 摘要 | Infinite looping is a common type of program error This paper studies the detection of infinite loops in imperative programs. A sufficient condition is given, which is based on program paths. For a simple loop, if we can establish the infeasib |
| 主办者 | City Univ Hong Kong, Dept Comp Sci, Ctr Software Engn, Sch Informat Technol, Swinburn Univ Technol, Informat Technol Serv Dept, Govt Hong Kong, British Comp Soc, Hong Kong Sect, Hong Kong Comp Soc, Hong Kong Inst Engineers Informat Technol Div |
| 语种 | 英语 |
| 内容类型 | 会议论文 |
| URI标识 | http://ir.iscas.ac.cn/handle/311060/13482 |
| 专题 | 中国科学院软件研究所 |
| 推荐引用方式 GB/T 7714 | Zhang J. a path-based approach to the detection of infinite looping[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS,2001:88-94. |
| 条目包含的文件 | ||||||
| 文件名称/大小 | 文献类型 | 版本类型 | 开放类型 | 使用许可 | ||
| 00990006.pdf(496KB) | 开放获取 | -- | 请求全文 | |||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [Zhang J]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [Zhang J]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [Zhang J]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论