Download:
|
by Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
Proc. 1996 IEEE-CS International Conference on Parallel and Distributed Systems
http://www.fit.ac.jp/~zhao/personal/ps/icpads96.ps.gz
Add To MetaCart
Abstract:
In this paper a formal model for program dependence analysis of concurrent logic programs is proposed with the following contributions. First, two languageindependent program representations are presented for explicitly representing control flows and/or data flows in a concurrent logic program. Then based on these representations, program dependences between literals in concurrent logic programs are defined formally, and a dependence-based program representation named the Literal Dependence Net (LDN) is presented for explicitly representing primary program dependences in a concurrent logic program. Finally, as applications of the LDNs, some important software engineering activities including program slicing, debugging, testing, complexity measurement, and maintenance are discussed in a programming environment for concurrent logic programs.
Citations
|
672
|
The program dependence graph and its use in optimization
– Ferrante, Ottenstein, et al.
- 1987
|
|
97
|
Static inference of modes and data dependencies in logic programs
– Debray
- 1989
|
|
84
|
Cost analysis of logic programs
– Debray, Lin
- 1993
|
|
77
|
Restricted AND-Parallelism
– DeGroot
- 1984
|
|
43
|
An Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel
– Hermenegildo
- 1986
|
|
33
|
AND-Parallelism of Logic Programs Based on A Static Data Dependency Analysis
– Chang, Despain, et al.
- 1985
|
|
21
|
Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis
– Chang, Despain
- 1985
|
|
17
|
Static slicing of logic programs
– Gyim'othy, Paakki
- 1995
|
|
13
|
Process Dependence Net of Distributed Programs and Its Applications in Development of Distributed Systems
– Cheng
- 1993
|
|
12
|
Bug localization by algorithmic debugging and program slicing
– Kamkar, Shahmehri, et al.
- 1990
|
|
2
|
Improving the Parallel Execution of Logic Programs
– Abreu
- 1994
|
|
2
|
Noye "Logic Programming Environments: Dynamic Program Analysis and Debugging
– Ducasse, J
- 1994
|
