Some brief notices on dynamic slicing of provers

Contact holger ATT blasum DOTT net for info to make it useful. Slicing or "dynamic slicing" or "tree-shaking" is understood as taking a runtime image of commands run in an interpreted language on user-defined input.

How to obtain slices

What to do with slices