Specifying and executing optimizations for generalized control flow graphs

William Mansky, Elsa L. Gunter, Dennis Griffith, Michael D. Adams. Specifying and executing optimizations for generalized control flow graphs. Science of Computer Programming, 130:2-23, 2016. [doi]

Abstract

Abstract is missing.