Download:
|
by Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
In Proc. of IEEE Int’l Conf. on Software Maintenance (ICSM’01
http://www.fit.ac.jp/~zhao/pub/ps/icsm2001.ps.gz
Add To MetaCart
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. 1
Citations
|
908
|
Program slicing
– Weiser
- 1984
|
|
445
|
A survey of program slicing techniques
– Tip
- 1995
|
|
234
|
The Program Dependence Graph in a Software Development
– Ottenstein, Ottenstein
|
|
84
|
Cost analysis of logic programs
– Debray, Lin
- 1993
|
|
45
|
Design of the Kernel Language for the Parallel Inference Machine
– Ueda, Chikayama
- 1990
|
|
33
|
AND-Parallelism of Logic Programs Based on A Static Data Dependency Analysis
– Chang, Despain, et al.
- 1985
|
|
29
|
Logic programming environments: Dynamic program analysis and debugging
– Ducassè, Noyè
- 1994
|
|
28
|
Slicing Concurrent Java Programs
– Zhao
- 1999
|
|
23
|
Schedule Analysis of Concurrent Logic Programs
– King, Soper
- 1992
|
|
18
|
Synthesis of Directionality Information for Functional Logic Programs
– Boye, Paakki, et al.
- 1993
|
|
17
|
Static slicing of logic programs
– Gyim'othy, Paakki
- 1995
|
|
14
|
A Formal Model of Program Dependences and
– Podgurski, Clarke
- 1990
|
|
13
|
Process Dependence Net of Distributed Programs and Its Applications in Development of Distributed Systems
– Cheng
- 1993
|
|
9
|
Slicing concurrent logic programs
– Zhao, Cheng, et al.
- 1997
|
|
7
|
The Program Dependence Graph and
– Ferrante, Ottenstein, et al.
- 1987
|
|
4
|
Sequentializing Parallel Programs
– Korsloot, Tick
- 1991
|
|
4
|
A Hybrid Backward Slicing Algorithm Producing Executable Slices for Prolog
– Schoenig, Ducasse
- 1995
|
|
3
|
Rational Debugging in Logic
– Pereira
- 1986
|
|
2
|
Improving the Parallel Execution of Logic Programs
– Abreu
- 1994
|
|
2
|
CLPKIDS: A Program Analysis System for Concurrent Logic Programs
– Zhao, Cheng, et al.
- 2001
|
|
1
|
Static Inference of Modes and Data
– Debray
- 1987
|
|
1
|
Proving Termination of GHC
– Rao, K, et al.
- 1993
|
|
1
|
A Metrics Suite for Concurrent Logic Programs
– Zhao, Cheng, et al.
- 1998
|
