To: seminaire-gallium-moscova@inria.fr From: Francois.Pottier@inria.fr Subject: SEM - INRIA : Gallium - 12/10/09 - Paris - FR Vous pouvez vous abonner à nos annonces de séminaires http://pauillac.inria.fr/seminaires/ S E M I N A I R E __ / _` _ / / o /| /| __ __ __ __ _ _ / ) __) / / / / / /\/| ----- / |/ | / )(_ / / ) ) ) __) (___/ (_/ (_ (_ / (__/ / | / | (__/ __)(_ (__/ (_/ (_/ I N R I A - Rocquencourt Amphi Turing du bâtiment 1 Lundi 12 octobre, 10h30 -------------------- Basile Starynkevitch -------------------- CEA ==================================================================== MELT - pourquoi et comment mettre un LISP dans le compilateur GCC... ==================================================================== Je présenterai MELT (Middle End Lisp Translator), un dialecte inspiré de Lisp pour coder plus facilement des passes de transformation ou d'analyse dans le compilateur GCC. Après avoir motivé l'intérêt d'introduire un langage applicatif au sein de GCC pour y coder des passes internes et expliqué pourquoi il est pratiquement impossible d'y brancher une implémentation d'un langage intéressant (comme Ocaml), je présenterai le dialecte MELT (qui sert à coder des passes dans un dialecte lispien qui est ensuite traduit en du code C convenable pour les internes de GCC) et son implémentation (GPLv3) dans GCC, utilisable comme méga-plugin. Je décrirai les particularités du runtime de MELT (bâti et compatible avec celui de GCC), et les traits syntaxiques spécifiques pour s'adapter au style C propre à GCC, les difficultés rencontrées dans l'implémentation (bootstrappée) du traducteur MELT (vers du C). Je concluerai sur les applications futures de MELT.