CLPKIDS: A Program Analysis System for Concurrent Logic Programs

Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

Abstract: 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.