The topic of my talk will be Program Slicing for Large Systems. I will put more weight on the principles of program slicing than on the details. The technical details can be found in my paper in the conference proceedings.
First, I want to motivate what Program Slicing is meant to be with a small example.
Next, I want to discuss some of the problems that arise when one applies a static analysis technique to an interactive problem and give an overview of the user interface of a Program Slicing Tool.
Then, I want to concentrate on the problems of slicing large systems that are built of modules because we also want to apply this technique for the maintenance and debugging of complex systems and not only for toy programs.
Last, I want to explain what I understand under the notion of çexpression orientedá program slicing and I want to show how one can focus on the relevant parts of the program with the help of user-feedback.