Next: About this document
Up: Le programme scientifique de
Previous: Conclusion
References
- AC90
-
Isabelle Attali and Jacques Chazarain.
Functional evaluation of strongly non-circular typol specifications.
In Pierre Deransart and Martin Jourdan, editors, Attribute
Grammars and their Applications (WAGA), volume 461 of Lecture Notes in
Computer Science, pages 157--176. Springer-Verlag, New
York--Heidelberg--Berlin, September 1990.
Paris.
- And95
-
Laurent Andrey.
Protocoles de communication et grammaires attribuées.
PhD thesis, Université de Mancy, 1995.
- AP94
-
Isabelle Attali and Didier Parigot.
Integrating Natural Semantics and Attribute Grammars: the
Minotaur System.
Rapport de recherche 2339, INRIA, 1994.
- AS95
-
Laurent Andrey and André Schaff.
Description and prototyping of OSI protocol entities using
attribute grammars.
Technical Report 95-R-271, Centre de recherche en Informatique de
Mancy, 1995.
- AS96
-
Laurent Andrey and André Schaff.
Description et prototypage d'entité de protocole OSI par grammaire
attribuées.
Technical report, Centre de recherche en Informatique de Mancy, 1996.
- Asm97
-
Uwe Asmann.
Software cocktail bars: A model of extensible software.
Technical report, University of Karlsruh, IPD, January 1997.
- Att96
-
Isabelle Attali.
Sémantique Naturelle: Evaluation et Expressivité.
Mémoire d'habilitation, Université de Nice Sophia Antipolis,
1996.
- AW94
-
An Feng An and Toshiro Wakayama.
SIMON: A grammar-based transformation system for structured
documents.
In Fifth International Conference on Electronic Publishing,
pages 361--372, Darmstadt, Germany, 1994. Origination, Dissemination, and
Design (EPODD) EP '94.
- BM94
-
K. Barbar and K. Musumbu.
Implementation of Abstract Interpretation Algorithm by means of
Attribute Grammars.
In Proceedings of the 26th Southeastern Symposium on System
Theory, pages 87--93. IEEE Computer Society, March 1994.
- CFZ82
-
Bruno Courcelle and Paul Franchi-Zannettacci.
Attribute grammars and recursive program schemes.
Theoretical Computer Science, 17(2 and 3):163--191 and
235--257, 1982.
part I and II See also: rapport 8008, University de Bordeaux I (April
1980).
- CM86
-
Laurian M. Chirica and David F. Martin.
Toward compiler implementation correctness proofs.
ACM Trans. Progr. Languages and Systems, 8(2):185--214, April
1986.
- CM96
-
Pierre Cointe and Jacques Malenfant.
Aspect-oriented programming versus reflection.
Technical report, École des Mines de Nantes, 1996.
- Con94
-
The COMPARE Consortium.
fsdl.
draft, Compare Consortium, novembre 1994.
confidential.
- Con96
-
Charles Consel.
A framework of application generator design.
Technical Report 3005, INRIA, 1996.
- Cor96
-
Loïc Correnson.
Généricité dans les grammaires attribuées.
Rapport de stage d'option, École Polytechnique, 1996.
- DC90
-
Gerald D. P. Dueck and Gordon V. Cormack.
Modular attribute grammars.
The Computer Journal, 33:164--172, 1990.
See also: research report CS-88-19, University of Waterloo (May
1988).
- DCB94
-
M. Desainte-Catherine and K. Barbar.
Using attribute grammars to find solutions for musical equational
programs.
ACM SIGPLAN Notices, 29(9):56--63, September 1994.
- DPJ95
-
Etienne Duris, Didier Parigot, and Martin Jourdan.
Mises à jour destructives dans les grammaires attribuées.
Rapport de recherche 2686, INRIA, October 1995.
- DPRJ96
-
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.
- DPRJ97a
-
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 Francophones des Langages Applicatifs, , France,
January 1997.
ftp://ftp.inria.fr/INRIA/Projects/oscar/FNC-2/publications/jfla97.ps.gz.
- DPRJ97b
-
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.
- Dur94
-
Etienne Duris.
Transformation de grammaires attribuées pour des mises à jour
destructives.
Rapport de DEA, Université d'Orléans, September 1994.
- EdJ90
-
Joost Engelfriet and Willem de Jong.
Attribute storage optimization by stacks.
Acta Informatica, 27:567--581, 1990.
Preliminary version: rapport 88-30, Vakgroep Informatica, Rijksuniv.
te Leiden (December 1988).
- EMR93
-
Sofoklis G. Efremidis, Khalid A. Mughal, and John H. Reppy.
AML: Attribute grammars in ML.
Technical Report TR93-1401, Cornell University, Computer Science
Department, December 1993.
- EMSR97
-
Sofoklis Efremidis, Khalid A. Mughal, Lars Søraas, and John Reppy.
AML: Attribute grammars in ML.
Nordic Journal of Computing, March 1997.
- 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.
- FK93
-
R. A. Frost and S. Karamatos.
Supporting the Attribute Grammar Programming Paradigm in a Lazy
Functional Programming Language, volume 693 of Lecture Notes in
Computer Science, pages 278--295.
Springer Verlag, 1993.
- Fro94
-
Richard A. Frost.
W/AGE : The windsor attribute grammar programming environment.
Technical report, Winsdor University, May 1994.
ftp://ftp.cs.uwindsor.ca/pub/wage.
- FS90
-
R. A. Frost and W. S. Saba.
A database interface based on montague's approach to the
interpretation of natural language.
International Journal of Man-Machine Studies, 33(2):149--176,
1990.
- FZA89
-
Paul Franchi-Zannettacci and Dennis S. Arnon.
Context-sensitive semantics as a basis for processing structured
documents.
BIGRE, 63--64:135--146, May 1989.
- 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).
- GK93
-
Katsuhiko Gondow and Takuya Katayama.
Attribute grammars as record calculus.
Technical Report 93TR-0047, Tokyo Institute of Technology, 1993.
- GK95
-
Katsuhiko Gondow and Takuya Katayama.
On formalization of object oriented attribute grammars OOAG and
higher order attribute grammars using record calculus.
Technical Report 95TR-0020, Tokyo Institute of Technology, 1995.
- Gro92
-
Josef Grosch.
Multiple inheritance in object-oriented attribute grammars.
Technical Report 28, GMD, Karlsruhe University, 1992.
- Hed91
-
Görel Hedin.
Incremental static-semantics analysis for object-oriented languages
using door attribute grammars.
In Henk Alblas and Borivoj Melichar, editors, Attribute
Grammars, Applications and Systems, volume 545 of Lecture Notes in
Computer Science, pages 374--379. Springer-Verlag, New
York--Heidelberg--Berlin, June 1991.
Prague.
- HNP96
-
Chris Hankin, Hanne Riis Nielson, and Jens Palsberg.
Strategic directions for research on programming languages.
In Computing Surveys. December 1996.
- JC94
-
C. Barry Jay and J. R. B Cockett.
Shapely types and shape polymorphism.
In Donald Sannella, editor, European Symp. on Programming (ESOP
'94), volume 788 of Lect. Notes in Comp. Sci., pages 302--316.
Springer-Verlag, April 1994.
- JJ96
-
J. Jeuring and P. Jansson.
Polytypic programming.
In J. Launchbury, E. Meijer, and T. Sheard, editors, Advanced
Functional Programming, volume 1129 of Lect. Notes in Comp. Sci.,
pages 68--114. Springer-Verlag, 1996.
- JJ97
-
P. Jansson and J. Jeuring.
PolyP - a polytypic programming language extension.
In 24th ACM Symp. on Principles of Programming Languages, 1997.
- 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.
- Jou
-
Martin Jourdan.
A Survey of Parallel Attribute Evaluation Methods.
pages 234--255.
- 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 Pierre Deransart and Martin Jourdan, editors, Attribute
Grammars and their Applications (WAGA), volume 461 of Lect. Notes in
Comp. Sci., pages 29--45, Paris, September 1990. Springer-Verlag.
- 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).
- Kos91
-
Kai Koskimies.
Object-orientation in attribute grammars.
In Henk Alblas and Borivoj Melichar, editors, Attribute
Grammars, Applications and Systems, volume 545 of Lecture Notes in
Computer Science, pages 297--329. Springer-Verlag, New
York--Heidelberg--Berlin, June 1991.
Prague.
- KP87
-
Kai Koskimies and Jukka Paakki.
TOOLS: a unifying approach to object-oriented language
interpretation.
In ACM SIGPLAN '87 Symp. on Interpreters and Interpretetive
Techniques, pages 153--164. St. Paul, MN, June 1987.
Published as ACM SIGPLAN Notices, volume 22, number 7.
- KR93
-
Richard Kieburtz and Jeffrey R.
Programming with algebras.
Technical report, Oregon Graduate Institute, 1993.
- KS86a
-
Uwe Kastens and M. Schmidt.
Lifetime analysis for procedure parameters.
In B. Robinet and Reinhard Wilhelm, editors, European Symp. on
Programming (ESOP '86), volume 213 of Lecture Notes in Computer
Science, pages 53--69. Springer-Verlag, New York--Heidelberg--Berlin, March
1986.
Saarbrücken.
- KS86b
-
Matthijs F. Kuiper and S. Doaitse Swierstra.
Using Attribute Grammars to Derive Efficient Functional
Programs.
Report RUU--CS--86--16, Utrecht University, 1986.
- KV94a
-
A. Kühnemann and H. Vogler.
A pumping lemma for output languages of attributed tree transducers.
Acta Cybernetica, 11:261--305, 1994.
- KV94b
-
A. Kühnemann and H. Vogler.
Synthesized and inherited functions - a new computational model for
syntax-directed semantics.
Acta Informatica, 31:431--477, 1994.
- KW94
-
Uwe Kastens and William M. Waite.
Modularity and Reusability in Attribute Grammars.
Acta Informatica, 31:601--627, 1994.
- 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.
- Lie92
-
Karl J. Lieberherr.
Component enhancement: An adaptive reusability mechanism for groups
of collaborating classes.
In J. van Leeuwen, editor, Information Processing '92, 12th
World Computer Congress, pages 179--185, Madrid, Spain, 1992. Elsevier.
- LJ89
-
Sying-Syang Liu and Kurt R. Johmann.
A tool specification language for software maintenance: Part I
language design.
Technical Report SERC-TR-36-F, Software Engineering Research Centre,
November 1989.
- 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.
- LL95
-
Cristina Videira Lopes and Karl J. Lieberherr.
Ap/s++: A case-study of a mop for purposes of software evolution.
Technical Report NU-CCS-95-?, Xerox PARC and Northeastern University,
November 1995.
ftp://ftp.ccs.neu.edu/pub/people/lieber/reflection-adaptive.ps.
- LSK90
-
Tan. Lichao, Y. Shinoda, and T. Katayama.
Coping with Changes in an Object Management System based on
Attribute Grammars.
In Proceedings of the Fourth ACM SIGSOFT '90 Symposium on
Software Development Environments, pages 56--65, December 1990.
Published as SIGSOFT Software Engineering Notes, volume 15, number 6.
- 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.
- Mee95
-
Lambert Meertens.
Category theory for program construction by calculation, 1995.
- MFP91
-
E. Meijer, M. M. Fokkinga, and R. Paterson.
Functional programming with bananas, lenses, envelopes and barbed
wire.
In Conf. on Functional Programming and Computer Architecture
(FPCA'91), volume 523 of Lect. Notes in Comp. Sci., pages 124--144,
Cambridge, September 1991. Springer-Verlag.
- MH95
-
Erik Meijer and Graham Hutton.
Bananas in space: Extending fold and unfold to exponential types.
In FPCA'95, 1995.
- MV95
-
Andrea Mößle and Heiko Vogler.
Efficient call-by-value evaluation strategy of primitive recursive
program schemes.
In Proceedings of the Fuji International Workshop in Functional
and Logic Programming. World Scientific Publishing Co. Pte Ltd., 1995.
- MW91
-
Ulrich Möncke and Reinhard Wilhelm.
Grammar flow analysis.
In Henk Alblas and Borivoj Melichar, editors, Attribute
Grammars, Applications and Systems, volume 545 of Lecture Notes in
Computer Science, pages 151--186. Springer-Verlag, New
York--Heidelberg--Berlin, June 1991.
Prague.
- OHIT97
-
Y. Onoue, Z. Hu, H. Iwasaki, and M. Takeichi.
A calculational fusion system hylo.
In In Proc. IFIP TC 2 Working Conference on Algorithmic
Languages and Calculi, Le Bischenberg, France, February 1997.
- OW97
-
Martin Odersky and Philip Wadler.
Pizza into java: Translating theory into practice.
In 24th ACM Symp. on Principles of Programming Languages, 1997.
- Paa94
-
J. Paakki.
Multi-pass execution of functional logic programs.
In Conference record of POPL '94, 21st ACM SIGPLAN-SIGACT
Symposium on Principles of Programming Languages: papers presented at the
Symposium: Portland, Oregon, January 17--21, 1994, pages 361--374, New
York, NY, USA, 1994. ACM Press.
- 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.
- PDRJ95
-
Didier Parigot, Etienne Duris, Gilles Roussel, and Martin Jourdan.
Attribute grammars: a declarative functional language.
rapport de recherche 2662, INRIA, October 1995.
ftp://ftp.inria.fr/INRIA/publication/RR/RR-2662.ps.gz.
- Pet95
-
Mikael Pettersson.
Compiling Natural Semantics.
Ph.d. dissertation, Linköping University, December 1995.
- PRJD96
-
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.
- Ros90
-
Mads Rosendahl.
Abstract interpretation using attribute grammars.
In Pierre Deransart and Martin Jourdan, editors, Attribute
Grammars and their Applications (WAGA), volume 461 of Lecture Notes in
Computer Science, pages 143--156. Springer-Verlag, New
York--Heidelberg--Berlin, September 1990.
Paris.
- Ros91
-
Mads Rosendahl.
Abstract Interpretation and Attribute Grammars.
PhD thesis, Cambridge University, 1991.
- Ros92
-
Mads Rosendahl.
Strictness analysis for attribute grammars.
In Programming Language Implementation and Logic Programming
(PLILP '92), volume 631 of LNCS, pages 145--157. Springer-Verlag,
1992.
- 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.
- Ruf97
-
Erik Ruf.
Partitioning dataflow analyses using types.
In 24th ACM Symp. on Principles of Programming Languages, 1997.
- Rus92
-
David Rushall.
An attribute evaluator in haskell.
Technical report, Manchester University, September 1992.
- SCG95
-
K. E. Schauser, D. E. Culler, and S. C. Goldstein.
Separation constraint partitioning - a new algorithm for partitioning
non-strict programs into sequential threads.
In In Proc. Principles of Programming Languages (POPL'95), San
Francisco, CA, January 1995.
- SEFR89
-
S. Sagiv, O. Edelstein, Nissim Francez, and M. Rodeh.
Resolving circularity in attribute grammars with applications to data
flow analysis.
In 16th ACM Symp. on Principles of Progr. Languages, pages
36--48. Austin, TX, January 1989.
- Ses89
-
Peter Sestoft.
Replacing function parameters by global variables.
In Conf. on Func. Prog. Languages and Computer Architecture.,
pages 39--53, London, September 1989. ACM Press.
- SG95
-
Klaus E. Schauser and Seth C. Goldstein.
How much non-strictness do lenient programs require?
In Conf. on Func. Prog. Languages and Computer Architecture,
pages 216--225, La Jolla, CA, USA, June 1995. ACM Press.
- SH94
-
James S.Uhl and Nigel Horspool.
Flow grammars - a flow analysis methodology.
In Peter A. Fritzson, editor, 5th Int. Conf. on Compiler
Construction (CC' 94), volume 786 of Lect. Notes in Comp. Sci., pages
203--217, Edinburgh, April 1994. Springer-Verlag.
- She94
-
Tim Sheard.
Meta programming tools for ml.
Technical report, Oregon Graduate Institute, 1994.
- Son87
-
M. Sonnenschein.
Graph translation schemes to generate compiler parts.
ACM Transactions on Programming Languages and Systems,
9(4):473--490, October 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.
- SV
-
S. Doaitse Swierstra and Harald H. Vogt.
Higher Order Attribute Grammars.
pages 256--296.
- SV90
-
S. Doaitse Swierstra and Harald H. Vogt.
Higher order attribute grammars: a merge between functional and
object oriented programming.
report RUU--CS--90--12, Utrecht University, March 1990.
- Tav88
-
Victor E. Tavernini.
Translating natural semantic specifications to attribute grammars.
report UIUCDCS-R-88-1407, Department of Comp. Sc., University of
Illinois at Urbana-Champaign, May 1988.
- TCl90
-
L Thomas and S. Cruz-lara.
A concurrent object-oriented paradigm for attribute grammars.
Technical report, Centre de recherche en Informatique de Mancy, 1990.
- TG95
-
G. Tremblay and G.R. Gao.
The impact of laziness on parallelism and the limits of strictness
analysis.
In High Performance Functional Computing, pages 119--133, April
1995.
- Tre94
-
Guy Tremblay.
Parallel implementation of lazy functional languages using
abstract demand propagation.
Phd thesis, McGill University, Montreal Canada, November 1994.
- vdBFAvG93
-
P. M. van den Broek F. A. van Gilst.
A new programming methodology for lazy functional languages.
Technical report, University of Twente, 1993.
- vdM94
-
E. A. van der Meulen.
Incremental Rewriting.
PhD thesis, University of Amsterdam, 1994.
- Wad88
-
Philip Wadler.
Deforestation: Transforming Programs to Eliminate Trees.
In Harald Ganzinger, editor, European Symposium on Programming
(ESOP '88), volume 300 of Lect. Notes in Comp. Sci., pages 344--358,
Nancy, March 1988. Springer-Verlag.
- Wad89
-
Philip Wadler.
Theorems for free!
In Conf. on Func. Prog. Languages and Computer Architecture,
London, September 1989.
- Wal89
-
Janet A. Walz.
Extending Attribute Grammar and Type Inference Algorithms.
Ph.D. thesis, Cornell University, February 1989.
- WM94
-
Reinhard Wilhelm and R. Maurer.
Les compilateurs - theorie, construction, generation.
Masson, 1994.
- WM95
-
Reinhard Wilhelm and R. Maurer.
Compiler Design.
Addison Wesley, 1995.
Didier Parigot
Mon Apr 7 10:23:43 MET DST 1997