A program dependence model for concurrent logic programs and its applications

Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

Research output: Contribution to conferencePaper

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
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

Fingerprint

Software engineering
Communication

All Science Journal Classification (ASJC) codes

  • Software

Cite this

Zhao, J., Cheng, J., & Ushijima, K. (2001). A program dependence model for concurrent logic programs and its applications. 672-681. Paper presented at Proceedings IEEE International Conference on Software Maintenance (ICSM 2001), Florence, Italy.

A program dependence model for concurrent logic programs and its applications. / Zhao, Jianjun; Cheng, Jingde; Ushijima, Kazuo.

2001. 672-681 Paper presented at Proceedings IEEE International Conference on Software Maintenance (ICSM 2001), Florence, Italy.

Research output: Contribution to conferencePaper

Zhao, J, Cheng, J & Ushijima, K 2001, 'A program dependence model for concurrent logic programs and its applications' Paper presented at Proceedings IEEE International Conference on Software Maintenance (ICSM 2001), Florence, Italy, 11/7/01 - 11/9/01, pp. 672-681.
Zhao J, Cheng J, Ushijima K. A program dependence model for concurrent logic programs and its applications. 2001. Paper presented at Proceedings IEEE International Conference on Software Maintenance (ICSM 2001), Florence, Italy.
Zhao, Jianjun ; Cheng, Jingde ; Ushijima, Kazuo. / A program dependence model for concurrent logic programs and its applications. Paper presented at Proceedings IEEE International Conference on Software Maintenance (ICSM 2001), Florence, Italy.10 p.
@conference{3048b5e1d2fc481395f6dac4afd7f34e,
title = "A program dependence model for concurrent logic programs and its applications",
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.",
author = "Jianjun Zhao and Jingde Cheng and Kazuo Ushijima",
year = "2001",
month = "12",
day = "1",
language = "English",
pages = "672--681",
note = "Proceedings IEEE International Conference on Software Maintenance (ICSM 2001) ; Conference date: 07-11-2001 Through 09-11-2001",

}

TY - CONF

T1 - A program dependence model for concurrent logic programs and its applications

AU - Zhao, Jianjun

AU - Cheng, Jingde

AU - Ushijima, Kazuo

PY - 2001/12/1

Y1 - 2001/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0035784915&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0035784915&partnerID=8YFLogxK

M3 - Paper

AN - SCOPUS:0035784915

SP - 672

EP - 681

ER -