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.
|Number of pages||7|
|Journal||Proceedings - IEEE Computer Society's International Computer Software and Applications Conference|
|Publication status||Published - Jan 1 2001|
All Science Journal Classification (ASJC) codes
- Computer Science Applications