In this paper we describe a program analysis system called CLPKIDS, that is based on program dependence analysis, to support development of software engineering tools for understanding, testing, debugging, maintenance and complexity measurement of concurrent logic programs.
['Jianjun Zhao', 'Jingde Cheng', 'Kazuo Ushijima']
CLPKIDS: a program analysis system for concurrent logic programs