Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form.
Loïc BesnardThierry GautierMatthieu MoyJean-Pierre TalpinKenneth JohnsonFlorence MaraninchiPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2009)