Computing executable slices for concurrent logic programs

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

Volumn , Issue , 2001, Pages 13-22

  Zhao, Jianjun ^a   Cheng, Jingde ^b   Ushijima, Kazuo ^c  

^a FUKUOKA INSTITUTE OF TECHNOLOGY   (Japan)

^b SAITAMA UNIVERSITY   (Japan)

^c Institute of Systems & Information Technologies/KYUSHU   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPLICATION PROGRAMS; COMPUTATION THEORY; LOGIC PROGRAMMING; RECONFIGURABLE HARDWARE; SOFTWARE ENGINEERING;

DEPENDENCE GRAPHS; ENGINEERING ACTIVITIES; LOGIC PROGRAMS; PROGRAM DEPENDENCE; PROGRAM SLICING; SLICING ALGORITHMS;

COMPUTER CIRCUITS;

EID: 67749091843     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APAQS.2001.989997     Document Type: Conference Paper

References (15)

1. J. Boye, J. Paakki, and J. Maluszyński, "Synthesis of Directioiiality Information for Functional Logic Programs," Proceedicngs of the Third Inter -national Workshop on Static Analysis, LNCS 724, Springer-Verlag, pp. 165-177, 1993.
2. J.Ferrantc, K.J.Otteustein, and J.D.Varren, "The Program Dependence Graph and Its Use in Optimization," ACM Transaction on Progmmminy Language and System, Vol.9, No.3, pp.319-349, 1987.
3. T. Gyimóthy and J. Paakki, "Static Slicing of Logic Programs," Local Proceedinys of the 2nd International Workshop on Automated and Algorithmic Debugging, France, May, 1995.
4. S. Horwitz, T. Reps, and D. Binkley, "Interprocedural Slicing Using Dependence Graphs," ACM Transaction on Programming Language and System, Vol.12, No.1, pp.26-60, 1990.
5. M. R. K. Krishna Rao, D. Kapur, and R. K. Shyamasandar, "Proving Termination of GHC Programs," ProceediGnys of the Tenth International Conference on Logic Programming, pp.720-736, MIT Press, 1993.
6. S. Schoenig and M. Ducassé, "A Backward Slicing Algorithm for Prolog," Proceedings of the Third Internutionul Stutic Analysis Symposium (SAS '96), Aachen, Germany, LNCS. Springer-Verlag, September 1996.
7. L. Sterling and E. Shapiro, "The Art of Prolog," 2nd edition, MIT press, 1994.
8. F. Tip, "A Survey of Program Slicing Techniques," .Joumd of Programming Languages, Vol.3, No.3, pp.121-189, September, 1995.
9. K. Ueda and T. Chikayama, "Design of the Kernel Language for the Parallel Inference Machine," The Computer Journal, vol.33, No.6, pp.494-500, 1990.
10. W. W. Vasconcelos, "A Flexible Framework for Dynamic and Static Slicing of Logic Programs," Proceedings of PADL'99, LNCS, 'Vol. 1551, Springer-Verlag, 1999.
11. M. Weiser, "Program Slicing," IEEE Transaction on Software ,Engineering, Vol.10, No.4, pp.352-357, 1984.
12. J. Zhao, J. Cheng, and K. Ushijima, "Program Dependence Analysis of Concurrent Logic Programs and Its Applications," Proceedings of the International Conference on Parallel and Distributed Systems (ICPADS'96), pp.282-291, Tokyo, Japan, June 3-6, 1996, IEEE, Computer Society Press.
13. J. Zhao, J. Cheng, and K. Ushijima, "Slicing Concurrent Logic Programs," in T. Ida and A. Ohori (Eds.), "Functional and Logic Programminy," 1997, World Scientific.
14. J. Zhao, J. Cheng, and K. Ushijirna, "CLPKIDS: A Program Analysis System for Concurrent Logic Programming Languages," Proc. 25th IEEE Annual International Computer Software and Applications Conference, October 2001. (to appear)
15. J. Zhao, J. Cheng, and K. Ushijirna, "A Program Dependence Model for Concurrent Logic Programs arid Its Applications," Proc. IEEE International Conference on Software Maintenance, Florence, Italy, November 2001. (to appear)