Return to Article Details Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form Download Download PDF