WorldCat Identities

Boullier, Pierre

Overview
Works: 12 works in 18 publications in 2 languages and 128 library holdings
Classifications: QA76.76.C65, 005.453
Publication Timeline
Key
Publications about  Pierre Boullier Publications about Pierre Boullier
Publications by  Pierre Boullier Publications by Pierre Boullier
Most widely held works by Pierre Boullier
Compilers, principles, techniques, and tools by Alfred V Aho ( Book )
5 editions published between 1991 and 2000 in French and held by 110 WorldCat member libraries worldwide
"This new edition of the classic "Dragon" book has been completely revised to include the most recent developments to compiling. The book provides a thorough introduction to compiler design and continues to emphasize the applicability of compiler technology to a broad range of problems in software design and development. The first hall of the book is designed for use in an undergraduate compilers course while the second half can be used in a graduate course stressing code optimization."--Jacket
Contribution à la construction automatique d'analyseurs lexicographiques et syntaxiques by Pierre Boullier ( Book )
1 edition published in 1984 in French and held by 6 WorldCat member libraries worldwide
ANALYSE SYNTAXIQUE ET SEMANTIQUE AVEC EVALUATION D'ATTRIBUTS DANS UN DEMI-ANNEAU APPLICATION A LA LINGUISTIQUE CALCULATOIRE by Frédéric Tendeau ( Book )
1 edition published in 1997 in French and held by 2 WorldCat member libraries worldwide
LE BUT EST DE PROPOSER DES ALGORITHMES DE CALCUL DE FORETS D'ANALYSE DECOREES PAR DES ATTRIBUTS VERIFIANT LA STRUCTURE ALGEBRIQUE DE DEMI-ANNEAU ET APPLICABLES A DIFFERENTS FORMALISMES DE LA LINGUISTIQUE CALCULATOIRE. LE POINT DE DEPART EST L'ANALYSE SYNTAXIQUE NON-CONTEXTUELLE GENERALE (INCLUANT DONC LES GRAMMAIRES AMBIGUES). UNE STRATEGIE D'ANALYSE EST PRESENTEE SOUS LA FORME D'UN AUTOMATE A PILE NON-DETERMINISTE, QUI EST ENSUITE INTERPRETE PAR PROGRAMMATION DYNAMIQUE. CETTE TECHNIQUE S'APPLIQUE SUR DES CALCULS RECURSIFS A CONDITION QUE CHAQUE SOUS-CALCUL PUISSE ETRE IDENTIFIE PAR UN INDICE. LE MECANISME CONSISTE A TABULER LES RESULTATS, EN N'EFFECTUANT CHAQUE SOUS-CALCUL QU'UNE FOIS. IL EN RESULTE UNE COMPLEXITE (EN TEMPS ET EN ESPACE) CUBIQUE POUR LES ALGORITHMES DE RECONNAISSANCE SYNTAXIQUE. CETTE METHODE EST ETENDUE A L'ANALYSE STOCHASTIQUE, POUR LAQUELLE NOUS PROPOSONS UNE GENERALISATION DES THEOREMES D'ADEQUATION ENTRE LES CALCULS OPERATIONNELS DE PROBABILITES ET LEUR DEFINITION PAR LA GRAMMAIRE PROBABILISTE. LES QUANTITES CALCULEES SONT LES PROBABILITES DE PREFIXE, DE SOUS-CHAINE, ET LE CALCUL DU MEILLEUR ARBRE. QUATRE STRATEGIES SONT PRESENTEES : EARLEY, LEFT CORNER, LR ET EXTENDED LR. LA THEORIE DES SERIES DE PUISSANCE ALGEBRIQUES EST UTILISEE POUR FORMALISER LA DECORATION D'UNE GRAMMAIRE DANS UN DEMI-ANNEAU ABSTRAIT. L'ANALYSE S'EXPRIME ALORS COMME LE CALCUL DU COEFFICIENT D'UN MOT POUR LA SERIE FORMELLE DEFINIE PAR LA GRAMMAIRE DECOREE, CE QUI REVIENT A RESOUDRE UN SYSTEME D'EQUATIONS AU POINT FIXE. NOUS DONNONS DES CONDITIONS QUI ASSURENT LA SOLVABILITE DU SYSTEME, ET MONTRONS QU'ON PEUT LE RESOUDRE EN UTILISANT LA PROGRAMMATION DYNAMIQUE. LES QUATRE ALGORITHMES STOCHASTIQUES SONT ALORS REFORMULES POUR CALCULER UNE DECORATION DANS UN DEMI-ANNEAU ABSTRAIT. ENFIN NOUS MONTRONS QUE LES GRAMMAIRES DE CLAUSES DEFINIES ET LES GRAMMAIRES A STRUCTURE DE TRAITS PEUVENT ETRE DECRITES COMME DES GRAMMAIRES NON-CONTEXTUELLES DECOREES DANS UN DEMI-ANNEAU
CONTRIBUTION A LA PRODUCTION AUTOMATIQUE DE SELECTEURS D'INSTRUCTIONS OPTIMISANTS FONDES SUR LA REECRITURE D'ARBRES by Philippe Canalda ( Book )
1 edition published in 1997 in French and held by 2 WorldCat member libraries worldwide
LA PRODUCTION AUTOMATIQUE DE GENERATEUR DE CODE OPTIMISANT (GDCO) EST UN DES PROBLEMES MAJEURS DANS LES PLATES-FORMES DE R&D DES COMPILATEURS MODERNES EN RAISON DE L'EVOLUTION RAPIDE DES PROCESSEURS ET DE L'INTRODUCTION DE PARALLELISME A GRAIN FIN ENTRE INSTRUCTIONS. LE SYSTEME PAGODE PRODUIT UN GDCO A PARTIR D'UNE SPECIFICATION APPELEE DERIVEUR, DU JEU D'INSTRUCTIONS DE MONO-PROCESSEUR CISC OU RISC. CE GDCO A POUR FONCTION DE PRODUIRE DU CODE MACHINE DE BAS NIVEAU (LIR) A PARTIR D'UN LANGAGE INTERMEDIAIRE (PMIR) PRODUIT PAR LE FRONT-END DU COMPILATEUR. IL SE COMPOSE TYPIQUEMENT DE TROIS TACHES INDEPENDANTES QUI SONT LE SELECTEUR D'INSTRUCTION (SI), L'ALLOCATEUR DE REGISTRES ET LE REORDONNANCEUR DE CODE. NOUS NOUS SOMMES PRINCIPALEMENT INTERESSES A LA PARTIE GENERATION DE SI OPTIMISANT (SIO) ET EFFICACE, A PARTIR DE REGLES DE REECRITURES (R = G D, OU G , PMIR ET D , LIR) ISSUES DE L'INVERSION DES TYPES DE DONNEES ABSTRAITES DU DERIVEUR. A CHAQUE TYPE DE REGLE D'UN SYSTEME HIERARCHIQUE (I.E. MODE D'ACCES STANDARD OU D'INTERFACAGE, INSTRUCTION, ETC.), NOUS ASSOCIONS PLUSIEURS COUTS (I.E. NOMBRE DE CYCLES D'HORLOGE, QUANTITE D'ESPACE MEMOIRE CONSOMME,). PAR APPLICATION ITEREE DE CES REGLES, NOUS CONSTITUONS UNE DERIVATION QUI REECRIT UN TERME T DE PROFONDEUR FINIE EN UNE SEQUENCE D'INSTRUCTIONS ASSEMBLEUR. ACTUELLEMENT UN SI EST PARFOIS EFFICACE. IL NE CALCULE QU'UNE SEULE DERIVATION. IL NE PEUT PRODUIRE DE SOLUTION OPTIMALE QUE POUR UNE ARCHITECTURE SEQUENTIELLE. IL N'EXISTE DONC PAS DE SIO EFFICACE. NOTRE BUT A ETE D'ETUDIER UNE APPROCHE RIGOUREUSE A LA PRODUCTION AUTOMATIQUE DE SIO EFFICACE, DE LA FORMALISER, DE L'IMPLANTER DANS PAGODE, D'INTEGRER CETTE REALISATION A LA PLATE-FORME DE COMPILATION COSY DANS LE CADRE DU PROJET ESPRIT COMPARE, ET ENFIN DE VALIDER L'ENSEMBLE. NOUS AVONS D'ABORD RE-FORMULE DES META-REGLES DE REECRITURE, QUI PRESERVENT LA SEMANTIQUE DE T ET QUI SONT INDEPENDANTES DE TOUTE INSTANCE DE LA SPECIFICATION DU DERIVEUR. CELA NOUS A REVELE QU'UN PARCOURS ASCENDANT DE T PEUT SUFFIRE A CALCULER TOUTES LES DERIVATIONS SUCCES CONDUISANT A PRODUIRE DU CODE ASSEMBLEUR CORRECT. NOUS AVONS CONCRETISE CELA D'ABORD EN REALISANT UNE FONCTION D'INVERSION ##1 DE DERIVEUR A (QUI ELABORE, DURANT LA PHASE STATIQUE DE GENERATION DU GDCO, UN AUTOMATE AVEC CONTRAINTES A(A) QUI CALCULE EN UNE PASSE ASCENDANTE TOUTES LES DERIVATIONS SUCCES DE T) ET EN REALISANT UN SIO (QUI EST FONDE SUR UN ALGORITHME DE PROGRAMMATION DYNAMIQUE GUIDE PAR LE A(A), PAR UNE ANALYSE DYNAMIQUE DE COUT ET UN CRITERE DE TERMINAISON) QUI PRODUIT, DE MANIERE OPERATIONNELLE, UN ENSEMBLE DE SEQUENCES DE CODE CORRECTES POUR T. NOUS AVONS ENSUITE FORMALISE LE SYSTEME DE REECRITURE SRAT UNE-PASSE CORRESPONDANT. NOUS AVONS IDENTIFIE LA PROPRIETE PUP SUR LE SRAT A PARTIR DE LAQUELLE NOUS AVONS DEDUIT ET JUSTIFIE L'IMPLANTATION DU SIO EFFICACE RECHERCHE
Projet DELTA: [Description de langages et de traductions par attributs]: : description d'un langage algorithmique à structure de blocs by France Blaizot ( Book )
1 edition published in 1973 in French and held by 2 WorldCat member libraries worldwide
Paradis, un système de paragraphage dirigé par la syntaxe by Philippe Deschamp ( Book )
3 editions published in 1985 in French and held by 1 WorldCat member library worldwide
Réalisation de la Municipalité de Châlon-sur-Saône by Pierre Boullier ( Book )
1 edition published in 1934 in French and held by 1 WorldCat member library worldwide
Dynamic grammars and semantic analysis by Pierre Boullier ( Book )
1 edition published in 1994 in English and held by 1 WorldCat member library worldwide
Another Facet of LIG Parsing ( )
1 edition published in 1996 in Undetermined and held by 1 WorldCat member library worldwide
LAMBDA : un langage pour la manipulation d'une base de données associative by Pierre Boullier ( Book )
1 edition published in 1973 in French and held by 1 WorldCat member library worldwide
Yet another O(n superscript 6 ) recognition algorithm for mildly context-sensitive languages by Institut National de Recherche en Informatique et en Automatique ( Book )
1 edition published in 1995 in English and held by 1 WorldCat member library worldwide
Dynamic grammars and semantic analysis by Pierre Boullier ( Book )
1 edition published in 1994 in English and held by 0 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.51 (from 0.00 for Contributi ... to 1.00 for Paradis, u ...)
Languages
French (14)
English (3)