Difference between revisions of "Seminar/2013-05-22"

From LRDE

(Created page with "{{SeminarHeader | id = 2013-05-22 | date = Mercredi 22 mai 2013 | schedule = 11-12h | location = Salle Lα du LRDE }} {{Talk | id = 2013-05-22 | abstract = Le compilat...")
 
Line 3: Line 3:
 
| date = Mercredi 22 mai 2013
  
| date = Mercredi 22 mai 2013
 
| schedule = 11-12h
  
| schedule = 11-12h
−
| location = Salle Lα du LRDE
 +
| location = Salle Lα du LRDE
 
}}
  
}}
 
{{Talk
  
{{Talk
 
| id = 2013-05-22
  
| id = 2013-05-22
 
| abstract = Le compilateur GCC est extensible via des greffons (plugins) depuis
  
| abstract = Le compilateur GCC est extensible via des greffons (plugins) depuis
−
plusieurs années. Mais c'est un logiciel libre complexe (de 10MLOC) et
 +
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
 +
encore en évolution, dont on décrira grossièrement l'architecture. Écrire
 
des greffons en C est fastidieux.
  
des greffons en C est fastidieux.
   
−
Le language d'extension MELT (domain specific language) permet d'étendre
 +
Le language d'extension MELT (domain specific language) permet d'étendre
−
moins péniblement le compilateur GCC. Il offre une syntaxe régulière et
 +
moins péniblement 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
 +
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
 +
internes de GCC et son implémentation (en logiciel libre) est
−
auto-amorcée. Il offre des traits permettant des styles de programmation de
 +
auto-amorcée. Il offre des traits permettant des styles de programmation de
−
haut niveau (styles fonctionnel, objet, réflexif).
 +
haut niveau (styles fonctionnel, objet, réflexif).
   
   
−
On décrira un peu l'implémentation de MELT, sa syntaxe et ses traits
 +
On décrira un peu l'implémentation de MELT, sa syntaxe et ses traits
−
caractéristiques, et les exemples d'extensions.
 +
caractéristiques, et les exemples d'extensions.
 
| duration = 1 heure
  
| duration = 1 heure
 
| orator = Basile Starynkevitch (CEA LIST)
  
| orator = Basile Starynkevitch (CEA LIST)
−
| resume = Basile Starynkevitch est un ancien élève de l'ENS Cachan qui a soutenu sa
 +
| resume = 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
 +
thèse en intelligence artificielle en 1990. Il travaille comme ingénieur
−
chercheur au CEA LIST dans le Laboratoire Sûreté des Logiciels (LSL), et
 +
chercheur au CEA LIST dans le Laboratoire Sûreté des Logiciels (LSL), et
−
contribue à GCC en y développant notamment l'outil MELT. Il est un partisan
 +
contribue à GCC en y développant notamment l'outil MELT. Il est un partisan
 
convaincu du logiciel libre.
  
convaincu du logiciel libre.
 
| schedule = 11h
  
| schedule = 11h
 
| slides = starynkevitch.pdf
  
| slides = starynkevitch.pdf
−
| title = Étendre le compilateur GCC avec MELT
 +
| title = Étendre le compilateur GCC avec MELT
 
| urls = http://gcc-melt.org/
  
| urls = http://gcc-melt.org/
 
}}
  
}}

Revision as of 18:49, 21 January 2014

Mercredi 22 mai 2013, 11-12h, Salle Lα du LRDE


Ãtendre le compilateur GCC avec MELT

Documents
starynkevitch.pdf

Basile Starynkevitch (CEA LIST)

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éniblement 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 Sûreté des Logiciels (LSL), et contribue à GCC en y développant notamment l'outil MELT. Il est un partisan convaincu du logiciel libre.

http://gcc-melt.org/

Retrieved from "https://www.lrde.epita.fr/index.php?title=Seminar/2013-05-22&oldid=6680"