Amit Sabne, Putt Sakdhnagool, Rudolf Eigenmann. Formalizing Structured Control Flow Graphs. In Chen Ding, John Criswell, Peng Wu 0001, editors, Languages and Compilers for Parallel Computing - 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers. Volume 10136 of Lecture Notes in Computer Science, pages 153-168, Springer, 2016. [doi]
Abstract is missing.