CLPKIDS: A program analysis system for concurrent logic programs

Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

研究成果: Contribution to journalArticle

2 引用 (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.

ジャーナルProceedings - IEEE Computer Society's International Computer Software and Applications Conference
出版物ステータス出版済み - 1 1 2001

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Science Applications

フィンガープリント CLPKIDS: A program analysis system for concurrent logic programs' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用