Formal Verification of Dead Code Elimination in Isabelle/HOL.

Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner

Browse the full SEFM paper archive.