Compilateur de compilateur

Un article de Wikipédia, l'encyclopédie libre.

Un compilateur de compilateur est un programme informatique capable de produire la totalité ou certaines parties de compilateur (partie analyse lexicale, partie analyse syntaxique, partie analyse sémantique, partie synthèse, partie de gestion des erreurs...) pour former un tout cohérent, le code source du compilateur souhaité.

[modifier] Description

Comme un compilateur classique, il accepte un langage source, par exemple une grammaire couplée à un ensemble d'actions. Il crée un langage cible, le plus souvent les parties analyse lexicale et syntaxique. Les parties analyse sémantique et synthèse sont généralement trop proches du langage cible pour être produites automatiquement et leur réalisation est laissée à la charge de l'utilisateur. Certains compilateurs de compilateur permettent de créer également la partie de gestion des erreurs.

[modifier] Quelques exemples

• lex et yacc, ou Flex [1] et Bison [2], permettent respectivement de produire des analyseurs lexicaux et des analyseurs syntaxiques en langage C. Couplés, ils forment un compilateur de compilateur à analyse ascendante LALR.
• ANTLR[3] permet de générer le code d'un compilateur à analyse descendante LL(k).
• LDL est un compilateur de compilateur LALR(1) qui inclut un dispositif autocorrecteur d'erreur.
• SableCC[4] c.
• JavaCC[5] est un autre générateur de compilateur java.
• Coco/R[6] est un générateur simple de compilateur C#/Java/C++ et autres.
• CodeWorker interprète une grammaire BNF et permet de générer du code, y compris en injectant celui-ci dans du code existant.
• Parse::Yapp, écrit en langage Perl, produit analyseur LALR en Perl.
• Parse::RecDescent, écrit en Perl, produit un compilateur descendant en Perl.
• Parsec.
• Happy.
• SYNTAX[7] est un système permettant la production d'analyseurs lexicaux et d'analyseurs syntaxiques efficaces et avec rattrapage d'erreurs pour toutes les grammaires non-contextuelles, ainsi que pour certaines classes de grammaires contextuelles.
• Rebol[8] est langage généraliste incluant un parser BNF. Celui-ci est utilisé de manière intensive - sous le nom de "dialectes" - dans de nombreux outils fournis en standard (interface graphique, web service ...) ou par des contributeurs.