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.
|ジャーナル||Proceedings - IEEE Computer Society's International Computer Software and Applications Conference|
|出版物ステータス||出版済み - 1 1 2001|
All Science Journal Classification (ASJC) codes
- Computer Science Applications