HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

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

Abstract : We present an approach for the translation of imperative code (like C, C++) into the synchronous formalism \signal, in order to use a model-checker to verify properties on the source code. The translation uses ßa\ as an intermediate formalism, and the GCC compiler as a front-end. The contributions of this paper with respect to previous work are a more efficient translation scheme, and the management of parallel code. It is applied successfully on simple \systemc\ examples.
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/inria-00400272
Contributor : Jean-Pierre Talpin Connect in order to contact the contributor
Submitted on : Tuesday, June 30, 2009 - 1:46:47 PM
Last modification on : Friday, February 4, 2022 - 3:18:59 AM
Long-term archiving on: : Tuesday, June 15, 2010 - 5:34:14 PM

Files

RR-6976.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00400272, version 1

Citation

Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson, et al.. Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. [Research Report] RR-6976, INRIA. 2009, pp.16. ⟨inria-00400272⟩

Share

Metrics

Record views

498

Files downloads

182