Computing executable slices for concurrent logic programs

Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

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 languageEnglish
Title of host publicationProceedings - 2nd Asia-Pacific Conference on Quality Software, APAQS 2001
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages13-22
Number of pages10
ISBN (Electronic)0769512879, 9780769512877
DOIs
Publication statusPublished - Jan 1 2001
Externally publishedYes
Event2nd Asia-Pacific Conference on Quality Software, APAQS 2001 - Hong Kong, Hong Kong
Duration: Dec 10 2001Dec 11 2001

Publication series

NameProceedings - 2nd Asia-Pacific Conference on Quality Software, APAQS 2001

Other

Other2nd Asia-Pacific Conference on Quality Software, APAQS 2001
CountryHong Kong
CityHong Kong
Period12/10/0112/11/01

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint Dive into the research topics of 'Computing executable slices for concurrent logic programs'. Together they form a unique fingerprint.

  • Cite this

    Zhao, J., Cheng, J., & Ushijima, K. (2001). Computing executable slices for concurrent logic programs. In Proceedings - 2nd Asia-Pacific Conference on Quality Software, APAQS 2001 (pp. 13-22). [989997] (Proceedings - 2nd Asia-Pacific Conference on Quality Software, APAQS 2001). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/APAQS.2001.989997