A program dependence model for concurrent logic programs and its applications

Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

Research output: Contribution to conferencePaperpeer-review

3 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages672-681
Number of pages10
Publication statusPublished - Dec 1 2001
Externally publishedYes
EventProceedings IEEE International Conference on Software Maintenance (ICSM 2001) - Florence, Italy
Duration: Nov 7 2001Nov 9 2001

Other

OtherProceedings IEEE International Conference on Software Maintenance (ICSM 2001)
CountryItaly
CityFlorence
Period11/7/0111/9/01

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint Dive into the research topics of 'A program dependence model for concurrent logic programs and its applications'. Together they form a unique fingerprint.

Cite this