ISCAS OpenIR
a path-based approach to the detection of infinite looping
Zhang J
2001
Conference Name2nd Asia-Pacific Conference on Quality Software
Pages88-94
Conference DateDEC 10-11,
Conference PlaceHONG KONG, PEOPLES R CHINA
Indexed Typeistp
Publish Place10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
PublisherSECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS
ISBN0-7695-1287-9
DepartmentChinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.
English AbstractInfinite 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
SponsorshipCity 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会议论文
URIhttp://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
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Zhang J]'s Articles
Baidu academic
Similar articles in Baidu academic
[Zhang J]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Zhang J]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.