loading...
Computing Executable Slices for Concurrent Logic Programs
Hong Kong December 10-December 11
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APAQS.2001.989997Second Asia-Pacific Conference on Qua ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
J. Zhao, Fukuoka Institute of Technology
J. Cheng, Saitama University
K. Ushijima, Institute of Systems & Information Technologies/KYUSHU
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.
Citation:
J. Zhao, J. Cheng, K. Ushijima, "Computing Executable Slices for Concurrent Logic Programs," apaqs, pp.0013, Second Asia-Pacific Conference on Quality Software (APAQS'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.