CLPKIDS: A program analysis system for concurrent logic programs

Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)


A program analysis system, CLPKIDS that supports development of software engineering tools for concurrent logic programs was described. The core modules of the system consisted of the program slicer, the declarative debugger and the maintenance support tool. The features of the system allowed the analysis to be performed in an unified framework that simplifies the implementation of the algorithms.

Original languageEnglish
Pages (from-to)531-537
Number of pages7
JournalProceedings - IEEE Computer Society's International Computer Software and Applications Conference
Publication statusPublished - Jan 1 2001
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Science Applications


Dive into the research topics of 'CLPKIDS: A program analysis system for concurrent logic programs'. Together they form a unique fingerprint.

Cite this