next up previous
Next: About this document Up: Travaux de recherche effectués Previous: Enseignement

References

AM91
Henk Alblas and Borivoj Melichar, editors. Attribute Grammars, Applications and Systems, volume 545 of Lect. Notes in Comp. Sci. Springer-Verlag, New York--Heidelberg--Berlin, June 1991. Prague.

Ami92
Bernard Amilien. Interfaces graphiques interactives sous XWindows pour le système de traitement de grammaires attribuées FNC-2 . Rapport de stage, Institut d'Ingéniérie Informatique de Limoges, September 1992.

Ami93
Bernard Amilien. Réalisation d'un complément interactif de trace de circularité dans le compilateur de grammaires attribuées FNC-2 . Rapport de stage de fin d'études, Institut d'Ingéniérie Informatique de Limoges, 1993.

And95
Laurent Andrey. Protocoles de communication et grammaires attribuées. PhD thesis, Université de Mancy, 1995.

AP92
Isabelle Attali and Didier Parigot. Centaur et fnc-2 : un génénérateur d'environnements de programmation. In CNRS département SPI, editor, Rencontre recherche en informatique industrie, July 1992.

AP94
Isabelle Attali and Didier Parigot. Integrating Natural Semantics and Attribute Grammars: the Minotaur System. Rapport de recherche 2339, INRIA, 1994.

Att88
Isabelle Attali. Compiling typol with attribute grammars. In Pierre Deransart, Bernard Lorho, and Jan Maluszynski, editors, Programming Languages Implementation and Logic Programming, volume 348 of Lecture Notes in Computer Science, pages 252--272. Springer-Verlag, New York--Heidelberg--Berlin, May 1988. Orléans.

Ayr87
Christine Ayrault. Implantation en C des structures de données du langage OLGA. rapport de DEA, University d'Orléans, September 1987.

Baz92
Philippe Bazet. Pattern-matching en priorité spécifique sur des types avec constructeurs commutatifs. Rapport de DEA, Université de Paris 11, Orsay, September 1992.

BCD88
Patrick Borras, Dominique Clément, Thierry Despeyroux, Janet Incerpi, Gilles Kahn, Bernard Lang, and Valérie Pascual. CENTAUR: the system. SIGSOFT Software Eng. Notes, 13(5):14--24, November 1988.

Ben93
Hervé Benvel. Réalisation d'un front-end pascal avec le système FNC-2. Rapport de DEA, Université de Paris 6, September 1993.

Bon86
Joël Bonnet. Étude des principaux langages de description de grammaires attribuées et spécification d'un nouveau langage basé sur des grammaires abstraites. rapport de DEA, University d'Orléans, September 1986.

CLFZ88
Bruno Chabrier, Vincent Lextrait, and Paul Franchi-Zannettacci. GIGAS: a graphical interface generator from attribute specifications. In Actes des Journées Int. ``Le Génie Logiciel et ses Applications'', pages 1265--1283. EC2, Paris, December 1988. Toulouse.

Con91
The COMPARE Consortium. Repport of toolselection taskforce. draft, Compare Consortium, august 1991. confidential.

Con94a
The COMPARE Consortium. fsdl. draft, Compare Consortium, novembre 1994. confidential.

Con94b
The COMPARE Consortium. Using pagode and fnc-2 in compare. draft, Compare Consortium, july 1994. confidential.

Con95
The COMPARE Consortium. Cosy compilers overview of their construction and operation
with glossary, list of acronyms and index. draft, Compare Consortium, march 1995. confidential.

Cor96
Loïc Correnson. Généricité dans les grammaires attribuées. Rapport de stage d'option, École Polytechnique, 1996.

Dev90
David Devillard. Amélioration de l'implantation en C des évaluateurs d'attributs produits par FNC-2. Rapport de DEA, Université d'Orléans, September 1990.

DJ90
Pierre Deransart and Martin Jourdan, editors. Attribute Grammars and their Applications (WAGA), volume 461 of Lecture Notes in Computer Science. Springer-Verlag, New York--Heidelberg--Berlin, September 1990. Paris.

DPJ95
Etienne Duris, Didier Parigot, and Martin Jourdan. Mises à jour destructives dans les grammaires attribuées. Rapport de recherche 2686, INRIA, October 1995.

DPRJ96a
Etienne Duris, Didier Parigot, Gilles Roussel, and Martin Jourdan. Attribute grammars and folds: Generic control operators. Rapport de recherche 2957, INRIA, August 1996. ftp://ftp.inria.fr/INRIA/publication/RR/RR-2957.ps.gz.

DPRJ96b
Etienne Duris, Didier Parigot, Gilles Roussel, and Martin Jourdan. Grammaires attribuées et folds: Opérateurs de contrôle Génériques. In journées du GDR de programmation, Orléans, 1996.

DPRJ97
Etienne Duris, Didier Parigot, Gilles Roussel, and Martin Jourdan. Structure-directed genericity in functional programming and attribute grammars. Rapport de Recherche 3105, INRIA, February 1997.

Dur88
Olivier Durin. Traduction en OLGA d'une grammaire attribuée écrite en lisp. rapport de stage d'option, École Polytechnique, Palaiseau, July 1988.

Dur89
Olivier Durin. Génération en le_lisp d'évaluateurs d'attributs spécifiés en olga. rapport de magistère, École Normale Supérieure, Paris, September 1989.

Dur94
Etienne Duris. Transformation de grammaires attribuées pour des mises à jour destructives. Rapport de DEA, Université d'Orléans, September 1994.

Fil86
Gilberto Filé. Classical and incremental attribute evaluation by means of recursive procedures. In Paul Franchi-Zannettacci, editor, 11th Coll. on Trees in Algebra and Programming (CAAP '86), volume 214 of Lecture Notes in Computer Science, pages 112--126. Springer-Verlag, New York--Heidelberg--Berlin, March 1986. Nice.

FJMM91
M. M. Fokkinga, J. Jeuring, L. Meertens, and E. Meijer. A translation from attribute grammars to catamorphisms. The Squiggolist, 2(1):20--26, 1991.

FMY92
Rodney Farrow, Thomas J. Marlowe, and Daniel M. Yellin. Composable attribute grammars: Support for modularity in translator design and implementation. In 19th ACM Symp. on Principles of Programming Languages, pages 223--234, Albuquerque, NM, January 1992. ACM press.

Gan80
Harald Ganzinger. Some principles for the development of compiler from denotational language definitions. Bericht TUM-INFO-8006, Institut für Informatik, Tech. University München, May 1980.

GG84
Harald Ganzinger and Robert Giegerich. Attribute coupled grammars. In ACM SIGPLAN '84 Symp. on Compiler Construction, pages 157--170, Montréal, June 1984. Published as ACM SIGPLAN Notices, 19(6).

GJR87
José Garcia, Martin Jourdan, and Antoine Rizk. An implementation of PARLOG using high-level tools. In Commission of the European Communities---Directorate General XIII, editor, ESPRIT '87: Achievements and Impact, pages 1265--1275. North-Holland, Amsterdam, November 1987. Brussels.

Gom91
Roberto Gomez Cardenas. Amélioration de l'implantation en C des évaluateurs d'attributs produits par FNC-2 . Rapport de DEA, Université de Paris 7, September 1991.

JMP94
Martin Jourdan, Bruno Marmol, and Didier Parigot. Experiments with a Real Parallel Attribute Evaluator. En préparation pour soumission, 1994.

Joh87
Thomas Johnsson. Attribute grammars as a functional programming paradigm. In Gilles Kahn, editor, Func. Prog. Languages and Computer Architecture, volume 274 of Lecture Notes in Computer Science, pages 154--173. Springer-Verlag, New York--Heidelberg--Berlin, September 1987. Portland.

Jou91
Jean-Philippe Jouve. Réalisation du décompilateur d'arbres attribués du système FNC-2: PPAT . Rapport de stage d'option, École Polytechnique, 1991.

Jou96
Martin Jourdan. Presentation of dynamic attribute grammars, 1996. http://www-rocq.inria.fr/oscar/FNC-2/Presentation/DynAG.slides.ps.gz.

JP
Martin Jourdan and Didier Parigot. The FNC-2 System User's Guide and Reference Manual. INRIA, Rocquencourt, 1.9 edition.

JP90a
Martin Jourdan and Didier Parigot. Techniques for Improving Grammar Flow Analysis. In Neil Jones, editor, European Symp. on Programming (ESOP '90), volume 432 of Lect. Notes in Comp. Sci., pages 240--255, Copenhague, 1990. Springer-Verlag.

JP90b
Catherine Julié and Didier Parigot. Space Optimization in the FNC-2 Attribute Grammar System. In Deransart and Jourdan [DJ90], pages 29--45. Paris.

JP90c
Catherine Julié and Didier Parigot. Space Optimization in the FNC-2 Attribute Grammar System. Rapport de recherche 1165, INRIA, 1990.

JP91
Martin Jourdan and Didier Parigot. Internals and Externals of the FNC-2 Attribute Grammar System. In Alblas and Melichar [AM91], pages 485--504. Prague.

JP92
Martin Jourdan and Didier Parigot. Application development with the FNC-2 attribute grammar system. In Dieter Hammer, editor, Compiler Compilers '90, Lecture Notes in Computer Science, pages 85--94. Springer-Verlag, New York--Heidelberg--Berlin, October 1990 January 1992. Schwerin.

JPJ90
Martin Jourdan, Didier Parigot, Catherine Julié, Olivier Durin, and Carole Le Bellec. Design, implementation and evaluation of the FNC-2 attribute grammar system. In Conf. on Programming Languages Design and Implementation, pages 209--222, White Plains, NY, June 1990. Published as ACM SIGPLAN Notices, 25(6).

Jul86
Catherine Julié. Optimisation de l'espace mémoire pour les compilateurs générés selon la méthode d'évaluation OAG: étude des travaux de kastens et propositions d'améliorations. rapport de DEA, Dépt. d'Informatique, University d'Orléans, September 1986.

Jul89
Catherine Julié. Optimisation de l'espace mémoire pour l'évaluation de grammaires attribuées. PhD thesis, Université d'Orléans, September 1989.

Le 89
Carole Le Bellec. Spécification de règles sémantiques manquantes. rapport de DEA, Dépt. d'Informatique, University d'Orléans, September 1989.

Le 93
Carole Le Bellec. La généricité et les grammaires attribuées. PhD thesis, Département de Mathématiques et d'Informatique, Université d'Orléans, 1993.

Le 95
Gilles Le Bâtard. Réalisation dans le système FNC-2 d'un traducteur vers ML. rapport de stage de maîtrise, IFI, Université de Marne-la-Vallée, July 1995.

Lei96
Stéphane Leibovitsch. Relations entre la sémantique dénotationnelle et les grammaires attribuées. Rapport de DEA, Université de Paris VII, September 1996.

LJPR93
Carole Le Bellec, Martin Jourdan, Didier Parigot, and Gilles Roussel. Specification and Implementation of Grammar Coupling Using Attribute Grammars. In Maurice Bruynooghe and Jaan Penjam, editors, Programming Language Implementation and Logic Programming (PLILP '93), volume 714 of Lect. Notes in Comp. Sci., pages 123--136, Tallinn, August 1993. Springer-Verlag.

LMOW88
Peter Lipps, Ulrich Möncke, Matthias Olk, and Reinhard Wilhelm. Attribute (re)evaluation in OPTRAN. Acta Informatica, 26:213--239, 1988. See also: ESPRIT PROSPECTRA Project Report S.1.3 - R.4.0, University des Saarlandes, Saarbrücken (1986).

LNP90
Thierry Ledig, Dang Khoa Nguyen, and Antoine Proietto. Introduction didactique aux grammaire attribuée: manual d'utilisation. Dess informatique, option génie logiciel, I.S.I.A.L mancy, 1990.

Mar90
Bruno Marmol. Évaluateurs d'attributs parallèles sur multi-processeurs à mémoire partagée. rapport de DEA, University d'Orléans, September 1990.

Mar94
Bruno Marmol. La parallélisation et l'optimisation mémoire dans l'évaluation des grammaires attribuées. PhD thesis, Université d'Orléans, 1994.

Paa95
Jukka Paakki. Attribute grammar paradigms --- A high-level methodology in language implementation. ACM Computing Surveys, 27(2):196--255, June 1995.

Par85
Didier Parigot. Un système interactif de trace des circularités dans une grammaire attribuée et optimisation du test de circularité. rapport de DEA, University de Paris-Sud, Orsay, September 1985.

Par87
Didier Parigot. Mise en uvre des grammaires attribuées: transformation, évaluation incrémentale, optimisations. thèse de 3ème cycle, University de Paris-Sud, Orsay, September 1987.

Par88
Didier Parigot. Transformations, Évaluation Incrémentale et Optimisations des Grammaires Attribués: Le Système FNC-2. PhD thesis, Université de Paris-Sud, Orsay, 1988.

PDRJ96
Didier Parigot, Etienne Duris, Gilles Roussel, and Martin Jourdan. Les grammaires attribuées: un langage fonctionnel déclaratif. In Journées Francophones des Langages Applicatifs, pages 263--279, Val-Morin, Québec, January 1996. ftp://ftp.inria.fr/INRIA/Projects/oscar/FNC-2/publications/jfla96.ps.gz.

PJ
Didier Parigot and Martin Jourdan. A bibliography on attribute grammars. http://www-rocq.inria.fr/oscar/FNC-2/AG.html Updated regularly. Contains around 950 references to papers on Attribute Grammars. INRIA, France.

Pla89
Étienne Planes. PPAT: un décompilateur d'arbres attribués pour le système FNC-2. rapport de DEA, Dépt. d'Informatique, University d'Orléans, September 1989.

PRJD96a
Didier Parigot, Gilles Roussel, Martin Jourdan, and Etienne Duris. Dynamic Attribute Grammars. Rapport de recherche 2881, INRIA, May 1996. ftp://ftp.inria.fr/INRIA/publication/RR/RR-2881.ps.gz.

PRJD96b
Didier Parigot, Gilles Roussel, Martin Jourdan, and Etienne Duris. Dynamic Attribute Grammars. In Herbert Kuchen and S. Doaitse Swierstra, editors, Int. Symp. on Progr. Languages, Implementations, Logics and Programs (PLILP'96), volume 1140 of Lect. Notes in Comp. Sci., pages 122--136, Aachen, September 1996. Springer-Verlag.

Rou92a
Gilles Roussel. Élimination de suites de règles de copies dans les grammaires attribuées. 1992.

Rou92b
Gilles Roussel. Méta-composition des grammaires attribuées. rapport de magistère, École Normale Supérieure, Paris, September 1992.

Rou93
Philippe Rouzier. Réalisation d'une interface entre les systèmes CENTAUR , FNC-2 et syntax. Rapport de stage de DESS ``Systèmes et communication homme-machine'', Université de Paris 11, September 1993.

Rou94a
Christophe Roudet. Visualisation graphique incrémentale par évaluation d'attributs. Stage de DEA informatique de l'ESSI, Université NICE, 1994.

Rou94b
Gilles Roussel. Algorithmes de base pour la modularité et la réutilisabilité des grammaires attribuées. PhD thesis, Département d'Informatique, Université de Paris 6, March 1994.

RPJ94
Gilles Roussel, Didier Parigot, and Martin Jourdan. Coupling Evaluators for Attribute Coupled Grammars. In Peter A. Fritzson, editor, 5th Int. Conf. on Compiler Construction (CC' 94), volume 786 of Lect. Notes in Comp. Sci., pages 52--67, Edinburgh, April 1994. Springer-Verlag.

RPJ95
Gilles Roussel, Didier Parigot, and Martin Jourdan. Static and Dynamic Coupling Attribute Evaluators. Rapport de recherche 2670, INRIA, October 1995. ftp://ftp.inria.fr/INRIA/publication/RR/RR-2670.ps.gz.

RT84
Thomas Reps and Tim Teitelbaum. The synthesizer generator. In ACM SIGSOFT/SIGPLAN Symp. on Practical Software Development Environments, pages 42--48. Pittsburgh, PA, April 1984. Joint issue with Software Eng. Notes 9, 3.Published as ACM SIGPLAN Notices, volume 19, number 5.

Sou87
Aziz Souah. Système de transformation d'arbres attribués: étude des principaux systèmes et spécification d'un nouveau système. rapport de DEA, University d'Orléans, September 1987.

Sou90
Aziz Souah. Contribution à la sémantique déclarative des systèmes de transformation d'arbres attribués. PhD thesis, Université d'Orléans, November 1990.

Tao88
Souad Taouil. Étude et implantation des grammaires couplées par attributs dans le système FNC-2. rapport de DEA, Dépt. d'Informatique, University d'Orléans, September 1988.

Ter95
Delphine Terrasse. Vers un environnement de développement de preuves en Sémantique Naturelle. PhD thesis, Ecole Nationale des Ponts et Chaussées (ENPC), October 1995.

Viv96
Bruno Vivien. Etude du système syntax/FNC-2 pour la génération de compilateur. Technical report, Conservatoire national des arts et metiers, Grenoble, 1996.

Zyl90
Catherine Zylberman. Réalisation du constructeur d'arbre abstrait (ATC) du système de grammaire attribuée FNC-2 au dessus de l'analyseur lexico-syntaque lex-yacc. Rapport de stage de troisième année, Telecom Paris, 1990.



Didier Parigot
Mon Apr 7 11:02:46 MET DST 1997