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.

元の言語英語
ページ(範囲)531-537
ページ数7
ジャーナルProceedings - IEEE Computer Society's International Computer Software and Applications Conference
DOI
出版物ステータス出版済み - 1 1 2001
外部発表Yes

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Science Applications

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

  • これを引用