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.
Type de document :
Article dans une revue
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〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00384177
Contributeur : Nicolas Stouls <>
Soumis le : jeudi 14 mai 2009 - 15:36:19
Dernière modification le : vendredi 6 juillet 2018 - 10:08:02

Identifiants

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〉

Partager

Métriques

Consultations de la notice

149