Abstract
Program Slicing has many applications an 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 bused approach to computing executable slice for concurrent logic programs. The dependence-bused representation used in this paper is called the Argument Dependence Net which can be wed to explicitly represent various types of program dependences an a concurrent logic program. Based on the ADN, we can compute static executable slices for concurrent logic programs at argument level.
Original language | English |
---|---|
Title of host publication | Proceedings - 2nd Asia-Pacific Conference on Quality Software, APAQS 2001 |
Publisher | Institute of Electrical and Electronics Engineers Inc. |
Pages | 13-22 |
Number of pages | 10 |
ISBN (Electronic) | 0769512879, 9780769512877 |
DOIs | |
Publication status | Published - Jan 1 2001 |
Event | 2nd Asia-Pacific Conference on Quality Software, APAQS 2001 - Hong Kong, Hong Kong Duration: Dec 10 2001 → Dec 11 2001 |
Publication series
Name | Proceedings - 2nd Asia-Pacific Conference on Quality Software, APAQS 2001 |
---|
Other
Other | 2nd Asia-Pacific Conference on Quality Software, APAQS 2001 |
---|---|
Country | Hong Kong |
City | Hong Kong |
Period | 12/10/01 → 12/11/01 |
Fingerprint
All Science Journal Classification (ASJC) codes
- Software
Cite this
Computing executable slices for concurrent logic programs. / Zhao, Jianjun; Cheng, Jingde; Ushijima, Kazuo.
Proceedings - 2nd Asia-Pacific Conference on Quality Software, APAQS 2001. Institute of Electrical and Electronics Engineers Inc., 2001. p. 13-22 989997 (Proceedings - 2nd Asia-Pacific Conference on Quality Software, APAQS 2001).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - Computing executable slices for concurrent logic programs
AU - Zhao, Jianjun
AU - Cheng, Jingde
AU - Ushijima, Kazuo
PY - 2001/1/1
Y1 - 2001/1/1
N2 - Program Slicing has many applications an 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 bused approach to computing executable slice for concurrent logic programs. The dependence-bused representation used in this paper is called the Argument Dependence Net which can be wed to explicitly represent various types of program dependences an a concurrent logic program. Based on the ADN, we can compute static executable slices for concurrent logic programs at argument level.
AB - Program Slicing has many applications an 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 bused approach to computing executable slice for concurrent logic programs. The dependence-bused representation used in this paper is called the Argument Dependence Net which can be wed to explicitly represent various types of program dependences an a concurrent logic program. Based on the ADN, we can compute static executable slices for concurrent logic programs at argument level.
UR - http://www.scopus.com/inward/record.url?scp=67749091843&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=67749091843&partnerID=8YFLogxK
U2 - 10.1109/APAQS.2001.989997
DO - 10.1109/APAQS.2001.989997
M3 - Conference contribution
AN - SCOPUS:67749091843
T3 - Proceedings - 2nd Asia-Pacific Conference on Quality Software, APAQS 2001
SP - 13
EP - 22
BT - Proceedings - 2nd Asia-Pacific Conference on Quality Software, APAQS 2001
PB - Institute of Electrical and Electronics Engineers Inc.
ER -