Abstract FR:

La metacompilation possede actuellement une limitation importante quant a la structuration des compilateurs. On constate que les calculs relatifs aux divers concepts semantiques du langage a compiler se retrouvent amalgames (visibilite, construction des definitions de types, rattrapage d'erreurs, verification du typage, etc. ). Nous nous proposons d'etudier dans le cadre des grammaires attribuees, une methode de structuration semantique, qui consiste a separer les differents concepts du langage de programmation a compiler, sur plusieurs grammaires attribuees que nous appelons: grammaires attribuees incompletes. A l'aide d'une specification de connexion et d'une operation de fusion, nous pouvons reunir ces grammaires attribuees incompletes en une seule. Grace a une mise en correspondance des grammaires attribuees et des langages logiques nous etudions aussi, comment appliquer cette methode aux langages logiques. Enfin nous testons notre methode en realisant l'analyse semantique de pascal