Adaptabilité et validation de la traduction de B vers C - Points de vue du projet BOM - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques Year : 2004

Adaptabilité et validation de la traduction de B vers C - Points de vue du projet BOM

Abstract

Cet article présente quelques résultats du projet RNTL BOM (B Optimisant la Mémoire). Le but était d'obtenir un traducteur du langage B vers le langage C, facilement adaptable à des contraintes mémoire (logiciels embarqués sur cartes à puce). Nous proposons une méthode d'extension des types de base permettant d'inclure certains types du langage cible. Nous présentons comment le traducteur est décrit sous forme de règles de traduction pour permettre d'adapter la traduction aux plates-formes cibles. Nous indiquons une démarche pour assurer la correction du code produit. Nous terminons par quelques mesures de taille de code généré pour la machine virtuelle Java Card.

Dates and versions

inria-00384177 , version 1 (14-05-2009)

Identifiers

Cite

Frédéric Badeau, Didier Bert, Sylvain Boulmé, Claude Métayer, Marie-Laure Potet, et al.. Adaptabilité et validation de la traduction de B vers C - Points de vue du projet BOM. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2004, Approches Formelles pour le Développement de Logiciels, 23 (7), pp.879--903. ⟨10.3166/tsi.23.879-903⟩. ⟨inria-00384177⟩
94 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More