Chers collègues,
La prochaine session du séminaire Performance et Généricité du LRDE
(Laboratoire de Recherche et Développement de l'EPITA) aura lieu le
Mercredi 22 mai 2013 (11--12h), Salle Lα du LRDE.
Au programme:
* 11h: Étendre le compilateur GCC avec MELT
-- Basile Starynkevitch (CEA LIST)
http://gcc-melt.org/
Le compilateur GCC est extensible via des greffons (plugins) depuis
plusieurs années. Mais c'est un logiciel libre complexe (de 10MLOC) et
encore en évolution, dont on décrira grossièrement l'architecture.
Écrire des greffons en C est fastidieux.
Le language d'extension MELT (domain specific language) permet d'étendre
moins péniblemenet le compilateur GCC. Il offre une syntaxe régulière et
simple, inspirée de LISP. MELT est traduit en du code C (ou C++) adapté
aux internes de GCC et son implémentation (en logiciel libre) est
auto-amorcée. Il offre des traits permettant des styles de programmation
de haut niveau (styles fonctionnel, objet, réflexif).
On décrira un peu l'implémentation de MELT, sa syntaxe et ses traits
caractéristiques, et les exemples d'extensions.
-- Basile Starynkevitch est un ancien élève de l'ENS Cachan qui a soutenu
sa thèse en intelligence artificielle en 1990. Il travaille comme
ingénieur chercheur au CEA LIST dans le Laboratoire de Sûreté du
Logiciel, et contribue à GCC en y développant notamment l'outil MELT. Il
est un partisan convaincu du logiciel libre.
!!! Attention !!!
La semaine suivante, le Mercredi 29 mai 2013, changement d'horaire :
nous invitons Eric Jaeger et Olivier Levillain (ANSSI) à 10h-12h pour nous parler
des "Langages de développement et sécurité --- Mind your language".
Pour plus de renseignements, consultez
http://seminaire.lrde.epita.fr/.
L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette
information le plus largement possible.
--
Akim Demaille
Akim.Demaille(a)lrde.epita.fr