Mihail Asavoae, Irina Mariuca Asavoae. Using the Executable Semantics for CFG Extraction and Unfolding. In Dongming Wang, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie, editors, 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011. pages 123-127, IEEE Computer Society, 2011. [doi]
Abstract is missing.