Date : 1995
Editeur / Publisher : [S.l.] : [s.n.] , 1995
Format : 208 P.
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Résumé / Abstract : CETTE THESE EST CONSACREE A L'ETUDE DE L'INTEGRATION DE TECHNIQUES D'EVALUATION PARTIELLE DANS DES COMPILATEURS POUR DES LANGAGES FONCTIONNELS, ET PLUS PARTICULIEREMENT POUR SCHEME. NOTRE TRAVAIL COMPORTE TROIS FACETTES. NOUS EFFECTUONS D'ABORD UNE PRESENTATION DU DOMAINE ILLUSTREE PAR DES MICRO-EVALUATEURS PARTIELS DE PLUS EN PLUS COMPLETS CONCUS SUR LA BASE D'UN REDUCTEUR TRES SIMPLE. CHAQUE VERSION AMENE DES QUESTIONS QUI SONT TRAITEES DANS LA SUIVANTE. LA VERSION LA PLUS ABOUTIE EST UN SYSTEME TRES COMPLET COMPARABLE AVEC LES SYSTEMES REPANDUS. NOUS PRESENTONS ENSUITE UNE UTILISATION SPECTACULAIRE DE L'EVALUATION PARTIELLE: LA COMPILATION DU FILTRAGE. NOUS FOURNISSONS UN LANGAGE DE FILTRES TRES EXPRESSIF ET MONTRONS COMMENT NOUS OBTENONS PAR EVALUATION PARTIELLE UN COMPILATEUR DE FILTRES EXTREMEMENT EFFICACE, QUI RETROUVE AUTOMATIQUEMENT POUR LES FILTRES CLASSIQUES DES AMELIORATIONS DES GRANDS ALGORITHMES CONNUS. POUR LES FILTRES MOINS CLASSIQUES, DES STRATEGIES TRES EFFICACES SONT DECOUVERTES. LA DERNIERE PARTIE DE CETTE THESE PRESENTE JIMIX, NOTRE EVALUATEUR PARTIEL LE PLUS ABOUTI. OUTRE SES CAPACITES DE PERSONNALISATION TRES POUSSEES, IL SE CARACTERISE PAR LE TRAITEMENT DE L'EGALITE PHYSIQUE, DES EFFETS DE BORDS TELS QU'AFFECTATIONS ET ENTREES/SORTIES, ET PAR LA FINESSE DE L'EXPLOITATION DES INFORMATIONS STATIQUES QU'IL EST CAPABLE D'EFFECTUER. SON COMPORTEMENT EST CONTROLABLE PAR LE BIAIS D'UN MODULE DE PERSONNALISATION, QUI PERMET A L'UTILISATEUR DE JOUER SUR LA PROPAGATION DES INFORMATIONS STATIQUES, ET LUI FOURNIT AINSI UN MOYEN DE DOMESTIQUER LA TAILLE DU CODE PRODUIT. CETTE THESE APPORTE DES DEVELOPPEMENTS AUSSI BIEN DANS LE DOMAINE DE LA COMPILATION DU FILTRAGE QUE DE L'EVALUATION PARTIELLE PROPREMENT DITE