Characterizing Minimal Semantics-preserving Slices of predicate-linear, Free, Liberal Program Schemas

Sebastian Danicic, Robert M Hierons, Michael R Laurence

A program schema defines a class of programs, all of which have identical statement structure, but whose functions and predicates may differ. A schema thus defines an entire class…