A PROLOG Tool for Slicing Source Code.
Marbod Hopfner, Dietmar A. Seipel, Joachim Baumeister · 2005
Abstract. We describe a PROLOG tool for slicing source code. We assume that there exists an XML representation of the parse tree of the code. Then, we can perform an analysis of the extended call graph based on methods from the tool VISUR/RAR to determine the relevant predicates for the slice. User–defined policies reflecting the different styles of programming of different users can be plugged into the system; they are formulated in a declarative way using the XML query language FNQUERY. We have implemented VISUR/RAR and FNQUERY as part of the DISLOG developers toolkit DDK. So far we have applied slicing to extract several subsystems of the DDK.