Title :
CLPKIDS: a program analysis system for concurrent logic programs
Author :
Zhao, Jianjun ; Cheng, Jingde ; Ushijima, Kazuo
Author_Institution :
Dept. of Comput. Sci. & Eng., Fukuoka Inst. of Technol., Japan
fDate :
6/23/1905 12:00:00 AM
Abstract :
In this paper we describe a program analysis system called CLPKIDS, that is based on program dependence analysis, to support development of software engineering tools for understanding, testing, debugging, maintenance and complexity measurement of concurrent logic programs
Keywords :
computational complexity; logic programming; program debugging; program testing; software engineering; software tools; CLPKIDS; complexity measurement; concurrent logic programs; debugging; maintenance; program analysis system; program dependence analysis; software engineering tools; testing; Computer science; Concurrent computing; Information technology; Logic programming; Logic testing; Program processors; Programming profession; Software debugging; Software testing; System testing;
Conference_Titel :
Computer Software and Applications Conference, 2001. COMPSAC 2001. 25th Annual International
Conference_Location :
Chicago, IL
Print_ISBN :
0-7695-1372-7
DOI :
10.1109/CMPSAC.2001.960664
