Using the Executable Semantics for CFG Extraction and Unfolding

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]

Authors

Mihail Asavoae

This author has not been identified. Look up 'Mihail Asavoae' in Google

Irina Mariuca Asavoae

This author has not been identified. Look up 'Irina Mariuca Asavoae' in Google