MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Computing Executable Slices for Concurrent Logic Programs

Download:
Download as a PDF | Download as a PS
by Jianjun Zhao, Jingde Cheng, Kazuo Ushijima
http://www.fit.ac.jp/~zhao/pub/ps/apaqs2001.ps.gz
Add To MetaCart

Abstract:

Program Slicing has many applications in software engineering activities. However, until recently, no slicing algorithm has been presented that can compute executable slices for concurrent logic programs. In this paper we present a dependence-graph based approach to computing executable slice for concurrent logic programs. The dependence-based representation used in this paper is called the Argument Dependence Net which can be used to explicitly represent various types of program dependences in a concurrent logic program. Based on the ADN, we can compute static executable slices for concurrent logic programs at argument level. 1

Citations

908 Program slicing – Weiser - 1984
519 Interprocedural slicing using dependence graphs – Horwitz, Reps, et al. - 1990
445 A survey of program slicing techniques – Tip - 1995
45 Design of the Kernel Language for the Parallel Inference Machine – Ueda, Chikayama - 1990
32 A backward slicing algorithm for Prolog – Schoenig, Ducasse - 1996
18 Synthesis of Directionality Information for Functional Logic Programs – Boye, Paakki, et al. - 1993
18 The Program Dependence Graph and Its Use – Ferrante, Ottenstein - 1987
17 Static slicing of logic programs – Gyim'othy, Paakki - 1995
9 Slicing concurrent logic programs – Zhao, Cheng, et al. - 1997
5 Proving termination of GHC programs – Rao, Kapur, et al. - 1993
5 Program Dependence Analysis of Concurrent Logic Programs and Its Applications – Zhao, Cheng, et al. - 1996
4 A Flexible Framework for Dynamic and Static Slicing of Logic Programs – Vasconcelos - 1999
2 The Art of Prolog," 2nd edition – Sterling, Shapiro - 1994
2 CLPKIDS: A Program Analysis System for Concurrent Logic Programs – Zhao, Cheng, et al. - 2001
2 A Program Dependence Model for Concurrent Logic Programs and Its Applications – Zhao, Cheng, et al. - 2001
View or Download | Add to My Collection | Correct Errors