Slicing concurrent logic programs (1997) [9 citations — 4 self]
|
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Zhao97slicingconcurrent,author = {Jianjun Zhao and Jingde Cheng and Kazuo Ushijima},
title = {Slicing concurrent logic programs},
booktitle = {In Proc. 2nd Fuji Int. Workshop on Functional and Logic Programming, Shonan Village},
year = {1997},
pages = {143--162},
publisher = {World Scientific}
}
Years of Citing Articles
Abstract:
Program slicing has been widely studied for imperative programs, but for logic programs it is just starting. In this paper we address the problem of slicing concurrent logic programs. To solve this problem, we propose three types of primary program dependences between arguments in concurrent logic programs, named the sharing dependence, communication dependence and unification dependence. We also present a new program representation named the argument dependence net (ADN) for concurrent logic programs to explicitly represent three types of primary program dependences in the programs. Based on the ADN, we formally define various notions about slicing concurrent logic programs and show that our slicing algorithm can produce static slices for concurrent logic programs at argument level.
Citations
| 109 | Measuring Functional Cohesion – Bieman, Ott - 1994 |
| 81 | Incremental program testing using program dependency graphs – Bates, Horiwitz - 1993 |
| 37 | Slicing Concurrent Programs -- A GraphTheoretical Approach – Cheng - 1993 |
| 18 | Synthesis of Directionality Information for Functional Logic Programs – Boye, Paakki, et al. - 1993 |
