ConSUS: a light-weight program conditioner
Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas
Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas
A non-standard semantics for program slicing and dependence analysis
A unifying theory of control dependence and its application to arbitrary program structures