In this paper we propose a program dependence model for concurrent logic programs. We present three types of primary program dependences named the sharing dependence, communication dependence, and unification dependence between arguments in a concurrent logic program. We formally define these primary program dependences based on mode information. We further present a dependence-based representation named the argument dependence net (ADN), which explicitly represents all primary program dependences between arguments in a concurrent logic program. We also discuss some applications of the ADN for developing software engineering tools of concurrent logic programs. Finally, we briefly introduce a program analysis system called CLPKIDS for concurrent logic programs, which is a prototype implementation of the techniques introduced in this paper.
|Number of pages||10|
|Publication status||Published - Dec 1 2001|
|Event||Proceedings IEEE International Conference on Software Maintenance (ICSM 2001) - Florence, Italy|
Duration: Nov 7 2001 → Nov 9 2001
|Other||Proceedings IEEE International Conference on Software Maintenance (ICSM 2001)|
|Period||11/7/01 → 11/9/01|
All Science Journal Classification (ASJC) codes