Verifying Term Graph Optimizations using Isabelle/HOL.

Brae J. Webb, Ian J. Hayes, Mark Utting

Browse the full CPP paper archive.