Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form.

Loïc Besnard Thierry Gautier Matthieu Moy Jean-Pierre Talpin Kenneth Johnson Florence Maraninchi Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. 2009 23 ECEASST http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/312 db/journals/eceasst/eceasst23.html#BesnardGMTJM09