Slicing is a technique for automatically obtaining subparts of a program with a collective meaning. When the slicing takes into account the actual execution of the program, it is said to be dynamic; when only statically available information is used, it is said to be static. In this paper we describe a flexible framework to slice logic programs that accommodates both dynamic and static approaches naturally. Our framework addresses practical aspects of logic programs such as different executions, system predicates and side-effects and can be customized to any logic language, provided we have its (concrete or abstract) interpreter and information on the behavior of system predicates. © Springer-Verlag Berlin Heidelberg 1998.
CITATION STYLE
Vasconcelos, W. W. (1999). A flexible framework for dynamic and static slicing of logic programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1551 LNCS, pp. 259–274). https://doi.org/10.1007/3-540-49201-1_18
Mendeley helps you to discover research relevant for your work.