Using the Executable Semantics for CFG Extraction and Unfolding.

Mihail Asavoae, Irina Mariuca Asavoae

Browse the full SYNASC paper archive.