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 metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/inria-00400272
Contributor : Jean-Pierre Talpin <>
Submitted on : Tuesday, June 30, 2009 - 1:46:47 PM
Last modification on : Friday, November 16, 2018 - 1:31:28 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

939

Files downloads

271