Abstract FR:

Cette these decrit la compilation et la parallelisation d'un langage applicatif sans variables fonde sur la theorie des combinateurs: graal. Le langage ada a servi de support pour l'ecriture du compilateur. Le choix pour la generation du code du compilateur s'est egalement porte sur le langage ada afin de faciliter l'interfacage de programmes ecrits dans les deux langages. Nous offrons la possibilite de definir des fonctions ecrites dans le langage graal a l'interieur d'unite de programme ada. Nous avons ajoute au langage graal la notion de paquetage. La parallelisation du langage graal sur une machine a architecture von neumann a permis de mettre en evidence sa puissance de parallelisation. C'est l'utilisateur qui definit son propre degre de parallelisme, ou a defaut, il est possible d'avoir acces a une parallelisation automatique de toutes les fonctions susceptibles d'etre parallelisees. La version du compilateur sur transputer a mis en evidence les caracteres insuffisants de programmation repartie du langage ada