Abstract
Program slicing is a process by means of which subparts of a program with a collective meaning are automatically obtained. When the slicing takes into account the actual execution of the program, it is said to be dynamic. We show how some techniques for dynamic slicing of procedural languages can be adapted to logic programming.
Work partially carried out while the first author was a Visiting Researcher at the Institut für Informatik, Universität Zürich, Switzerland.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Aït-Kaci, H.: Warren’s Abstract Machine. MIT Press, USA (1991)
Apt, K.R.: From Logic Programming to Prolog. Prentice-Hall, Great Britain (1997)
Bowles, A.W., Robertson, D., Vasconcelos, W.W., Vargas-Vera, M., Bental, D.: Applying Prolog Programming Techniques. Int’l Journal of Human-Computer Studies 41(3), 329–350 (1994)
Boye, J., Paaki, J., luszyński, M.: Synthesis of Directionality Information for Functional Logic Programs. In: Cousot, P., Filé, G., Falaschi, M., Rauzy, A. (eds.) WSA 1993. LNCS, vol. 724. Springer, Heidelberg (1993)
Clocksin, W.F., Mellish, C.S.: Programming in Prolog. Springer, Heidelberg (1987)
Guymóthy, T., Paaki, J.: Static Slicing of Logic Programs. In: Proc. 2nd. Int’l Workshop on Automated and Algorithmic Debugging, IRISA, France (1995)
Horwitz, S., Reps, T., Binkley, D.: Interprocedural Slicing Using Dependence Graphs. ACM Trans. on Program. Lang. & Systems 12(1) (January 1990)
Jackson, D., Rollins, E.J.: A New Model of Program Dependences for Reverse Engineering. In: Proc. SIGSOFT 1994, New Orleans, Louisianna. ACM, New York (1994)
Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1993)
Robertson, D.: A Simple Prolog Techniques Editor for Novice Users. In: 3rd Annual Conf. on Logic Progr. Springer, Heidelberg (1991)
Schoenig, S., Ducassé, M.: A Backward Slicing Algorithm for Prolog. In: Cousot, R., Schmidt, D.A. (eds.) SAS 1996. LNCS, vol. 1145. Springer, Heidelberg (1996)
Sebesta, R.W.: Concepts of Programming Languages. Addison-Wesley, Reading (1996)
Sterling, L., Shapiro, E.: The Art of Prolog. MIT Press, Cambridge (1986)
Tip, F.: A Survey of Program Slicing Techniques. Journal of Prog. Lang. 3(3) (1995)
Vasconcelos, W.W.: A Method of Extracting Prolog Programming Techniques. Technical Paper 27, Dept. of Art. Intell., Edinburgh Univ. (1994)
Vasconcelos, W.W.: Extracting, Organising, Designing and Reusing Prolog Pro- gramming Techniques. PhD thesis, Dept. of Art. Intell., Edinburgh Univ. (1995)
Vasconcelos, W.W., Aragão, M.T.: Slicing Logic Programs. Tech. Report, Available from authors (1998)
Vasconcelos, W.W., Fuchs, N.E.: Prolog Program Development via Enhanced Schema-Based Transformations. Research Paper 776, Dept. of Art. Intell., Edinburgh Univ. (1995)
Weiser, M.: Programmers Use Slices When Debugging. CACM 25(7) (1982)
Weiser, M.: Program Slicing. IEEE Trans. on Soft. Eng. SE-10(4) (1984)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Weber Vasconcelos, W., Aragão, M.A.T. (1998). An Adaptation of Dynamic Slicing Techniques for Logic Programming. In: de Oliveira, F.M. (eds) Advances in Artificial Intelligence. SBIA 1998. Lecture Notes in Computer Science(), vol 1515. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10692710_16
Download citation
DOI: https://doi.org/10.1007/10692710_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65190-1
Online ISBN: 978-3-540-49523-9
eBook Packages: Springer Book Archive