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.
Type de document :
Rapport
[Research Report] RR-6976, INRIA. 2009, pp.16
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00400272
Contributeur : Jean-Pierre Talpin <>
Soumis le : mardi 30 juin 2009 - 13:46:47
Dernière modification le : mercredi 29 novembre 2017 - 16:20:23
Document(s) archivé(s) le : mardi 15 juin 2010 - 17:34:14

Fichiers

RR-6976.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00400272, version 1

Collections

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〉

Partager

Métriques

Consultations de la notice

600

Téléchargements de fichiers

208