Institutional Repository
| a path-based approach to the detection of infinite looping | |
| Zhang J | |
| 2001 | |
| Conference Name | 2nd Asia-Pacific Conference on Quality Software |
| Pages | 88-94 |
| Conference Date | DEC 10-11, |
| Conference Place | HONG KONG, PEOPLES R CHINA |
| Indexed Type | istp |
| Publish Place | 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA |
| Publisher | SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS |
| ISBN | 0-7695-1287-9 |
| Department | Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China. |
| English Abstract | 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 |
| Sponsorship | 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 |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/13482 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 00990006.pdf（496KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment