Formalizing Structured Control Flow Graphs

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]

Authors

Amit Sabne

This author has not been identified. Look up 'Amit Sabne' in Google

Putt Sakdhnagool

This author has not been identified. Look up 'Putt Sakdhnagool' in Google

Rudolf Eigenmann

This author has not been identified. Look up 'Rudolf Eigenmann' in Google