Slicing of Constraint Logic Programs

Gyongyi Szilagyi, Tibor Gyimothy, Jan Maluszynski

Slicing is a program analysis technique originally developed for imperative languages. It facilitates understanding of data flow and debugging. This paper discusses slicing of Cons…