Skip to Main content Skip to Navigation
Journal articles

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

Résumé : 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.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/inria-00384177
Contributor : Nicolas Stouls <>
Submitted on : Thursday, May 14, 2009 - 3:36:19 PM
Last modification on : Thursday, July 1, 2021 - 3:36:52 AM

Links full text

Identifiers

Collections

Citation

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, Lavoisier, 2004, Approches Formelles pour le Développement de Logiciels, 23 (7), pp.879--903. ⟨10.3166/tsi.23.879-903⟩. ⟨inria-00384177⟩

Share

Metrics

Record views

384