[isabelle] New AFP entry: Verifying the Interprocedural Two-Phase Horwitz-Reps-Binkley Slicer



The corresponding paper >proof outline< is a little confusing to me, because it contains the machine readable sources.
Was it meant to be read or to be processed?
Jens
P.S.: the same applies to >proof theory<
Backing up Slicing: Verifying the Interprocedural Two-Phase
Horwitz-Reps-Binkley Slicer

Author: Daniel Wasserrab






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.