Now showing items 1-1 of 1

    • Witnessing Control Flow Graph Optimizations 

      Casula, Dario (2016-07-01)
      Proving the correctness of a program transformation, and specifically, of a compiler op- timization, is a long-standing research problem. Trusting the compiler requires to guarantee that the properties verified on the ...