Skip to main content
SpringerLink
Log in
Book cover

Attribute Grammars and their Applications pp 222–237Cite as

The OLGA attribute grammar description language: Design, implementation and evaluation

  • Systems
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 461))

Abstract

Olga is the input language of the FNC-2 attribute grammar processing system, currently under development at INRIA. As such, it is designed for the specification of attribute grammars and is specialized for this purpose. The features of Olga can be classified into those which make it a powerful general-purpose applicative language and those which make it a specialized AG-description language. A remarkable feature of Olga is its strong support for modularity. The paper discusses the design goals for Olga and presents the most important aspects of the language. It also includes comparisons with other existing languages, an overview of the implementation of Olga, namely the FNC-2 system, and an account of the experience gained in using Olga.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. American National Standards Institution, ADA Reference Manual ANSI/MIL-STD 1815A, Jan. 1983.

    Google Scholar 

  2. A. W. Appel, “A Runtime System,” draft, Princeton Univ., Feb. 1989.

    Google Scholar 

  3. P. Borras, D. Clément, T. Despeyroux, J. Incerpi, G. Kahn, B. Lang & V. Pascual, “Centaur: the System,” in ACM SIGSOFT/SIGPLAN Symp. on Practical Software Development Environments, Boston, MA, published as SIGSOFT Software Eng. Notes 13, 5 (Nov. 1988), 14–24.

    Article  Google Scholar 

  4. P. Boullier & P. Deschamp, Le système SYNTAX—Manuel d'utilisation et de mise en oeuvre sous Unix, INRIA, Rocquencourt, Sept. 1988.

    Google Scholar 

  5. L. Cardelli, “Basic Polymorphic Typechecking,” Sci. Comput. Programming 8, 2 (Apr. 1987), 147–172.

    Article  Google Scholar 

  6. G. Cousineau, G. Huet & L. Paulson, The ML Handbook, INRIA, Rocquencourt, May 1985. Co-published by Univ. of Cambridge.

    Google Scholar 

  7. P. Deransart, M. Jourdan & B. Lorho, Attribute Grammars: Definitions, Systems and Bibliography, Lect. Notes in Comp. Sci.#323, Springer-Verlag, New York-Heidelberg-Berlin, Aug. 1988.

    Google Scholar 

  8. A. Despland, M. Mazaud & R. Rakotozafy, “Using Rewriting Techniques to Produce Code Generators and Proving them Correct,” Rapport RR-1046, INRIA, Rocquencourt, June 1989. To appear in Sci. Comput. Programming.

    Google Scholar 

  9. G. D. P. Dueck & G. V. Cormack, “Modular Attribute Grammars,” research report CS-88-19, Univ. of Waterloo, May 1988.

    Google Scholar 

  10. O. Durin, “Traduction en Olga d'une grammaire attribuée écrite en Lisp,” rapport de stage d'option, École Polytechnique, Palaiseau, July 1988.

    Google Scholar 

  11. R. Farrow, The Linguist Translator-writing System—User's Manual version 6.25, Declarative Systems Inc., Palo Alto, CA, June 1989.

    Google Scholar 

  12. R. Farrow & A. G. Stanculescu, “A VHDL Compiler based on Attribute Grammar Methodology,” in ACM SIGPLAN '89 Conf. on Progr. Languages Design and Implementation, Portland, OR, published as ACM SIGPLAN Notices 24, 7 (July 1989), 120–130.

    Article  Google Scholar 

  13. P. Franchi-Zannettacci, “Attribute Specifications for Graphical Interface Generation,” in Information Processing '89, San Francisco, CA, G. X. Ritter, ed., 149–155, North-Holland, Amsterdam, Aug. 1989.

    Google Scholar 

  14. H. Ganzinger & R. Giegerich, “Attribute Coupled Grammars,” in ACM SIGPLAN '84 Symp. on Compiler Construction, Montréal, published as ACM SIGPLAN Notices 19, 6 (June 1984), 157–170.

    Article  Google Scholar 

  15. H. Ganzinger, R. Giegerich & M. Vach, “MARVIN: a Tool for Applicative and Modular Compiler Specifications,” Forschungsbericht 220, Fachbereich Informatik, Univ. Dortmund, July 1986.

    Google Scholar 

  16. J. Garcia, M. Jourdan & A. Rizk, “An Implementation of PARLOG Using High-Level Tools,” in ESPRIT '87: Achievements and Impact, Brussels, Commission of the European Communities—DG XIII, ed., 1265–1275, North-Holland, Amsterdam, Sept. 1987.

    Google Scholar 

  17. R. Giegerich, “On the Relation between Descriptional Composition and Evaluation of Attribute Coupled Grammars,” Forschungsbericht 221, Fachbereich Informatik, Univ. Dortmund, July 1986.

    Google Scholar 

  18. R. W. Harper, D. B. MacQueen & R. Milner, “Standard ML,” report ECS-LFCS-86-2, Lab. for Foundations of Comp. Sc., Dept. of Comp. Sc., Univ. of Edinburgh, Mar. 1986.

    Google Scholar 

  19. C. A. R. Hoare, “Hints on Programming Language Design,” tech. report STAN-CS-73-403, Comp. Sc. Dept., Stanford Univ., Oct. 1973.

    Google Scholar 

  20. M. Jourdan, “Les grammaires attribuées: implantation, applications, optimisations,” thèse de Docteur-Ingénieur, Univ. Paris VII, May 1984.

    Google Scholar 

  21. M. Jourdan & D. Parigot, The FNC-2 System User's Guide and Reference Manual, INRIA, Rocquencourt, Feb. 1989. This manual is periodically updated.

    Google Scholar 

  22. M. Jourdan, D. Parigot, C. Julié, O. Durin & C. Le Bellec, “Design, Implementation and Evaluation of the FNC-2 Attribute Grammar System,” in ACM SIGPLAN '90 Conf. on Programming Languages Design and Implementation, White Plains, NY, published as ACM SIGPLAN Notices 25, 6 (June 1990), 209–222.

    Article  Google Scholar 

  23. C. Julié & D. Parigot, “Space Optimization in the FNC-2 Attribute Grammar System,” in Attribute Grammars and their Applications (WAGA), Paris, P. Deransart & M. Jourdan, eds., Lect. Notes in Comp. Sci., Springer-Verlag, New York-Heidelberg-Berlin, Sept. 1990.

    Google Scholar 

  24. G. Kahn, B. Lang, B. Mélèse & É. Marcos, “Metal: a Formalism to Specify Formalisms,” Sci. Comput. Programming 3 (1983), 151–188.

    Article  Google Scholar 

  25. U. Kastens, B. Hutt & E. Zimmermann, GAG: A Practical Compiler Generator, Lect. Notes in Comp. Sci. #141, Springer-Verlag, New York-Heidelberg-Berlin, 1982.

    Google Scholar 

  26. D. E. Knuth, “Semantics of Context-free Languages,” Math. Systems Theory 2, 2 (June 1968), 127–145. Correction: Math. Systems Theory 5, 1 (Mar. 1971), 95–96.

    Article  Google Scholar 

  27. C. Le Bellec, “Spécification de règles sémantiques manquantes,” rapport de DEA, Dépt. d'Informatique, Univ. d'Orléans, Sept. 1989.

    Google Scholar 

  28. P. Lipps, U. Möncke & R. Wilhelm, “OPTRAN — A Language/System for the Specification of Program Transformations: System Overview and Experiences,” in Compiler Compilers and High Speed Compilation, Berlin, D. Hammer, ed., 52–65, Lect. Notes in Comp. Sci. #371, Springer-Verlag, New York-Heidelberg-Berlin, Oct. 1988.

    Google Scholar 

  29. B. Lorho, “Semantic Attributes Processing in the System DELTA,” in Methods of Algorithmic Language Implementation, A. Ershov & C. H. A. Koster., eds., 21–40, Lect. Notes in Comp. Sci. #47, Springer-Verlag, New York-Heidelberg-Berlin, 1977.

    Google Scholar 

  30. R. Milner, “A Theory of Type Polymorphism in Programming,” J. Comput. System Sci. 17, 3 (Dec. 1978), 348–375.

    Article  Google Scholar 

  31. D. Parigot, “Transformations, évaluation incrémentale et optimisations des grammaires attribuées: le système FNC-2,” thése, Univ. de Paris-Sud, Orsay, May 1988.

    Google Scholar 

  32. É. Planes, “PPAT: un décompilateur d'arbres attribués pour le système FNC-2,” rapport de DEA, Dépt. d'Informatique, Univ. d'Orléans, Sept. 1989.

    Google Scholar 

  33. T. Reps & T. Teitelbaum, The Synthesizer Generator, Springer-Verlag, New York-Heidelberg-Berlin, 1989.

    Google Scholar 

  34. , The Synthesizer Generator Reference Manual 3rd edition, Springer-Verlag, New York-Heidelberg-Berlin, 1989.

    Google Scholar 

  35. R. D. Tennent, Principles of Programming Languages, Prentice-Hall, Englewood Cliffs, NJ, 1981.

    Google Scholar 

  36. M. D. Tiemann, “Removing Redundancy in Attribute Grammars,” manuscript, Parallel Processing Program, Microelectronic and Computer Technology Corp., Austin, TX, July 1987.

    Google Scholar 

  37. A. O. Vooglaid & M. B. Méristé, “Abstract Attribute Grammars,” Progr. and Computer Software 8, 5 (Sept. 1982), 242–251.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Inria, Domaine de Voluceau, Rocquencourt, B.P. 105, F-78153, Le Chesnay Cedex, France

    Martin Jourdan, Carole Le Bellec & Didier Parigot

Authors
  1. Martin Jourdan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Carole Le Bellec
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Didier Parigot
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

P. Deransart M. Jourdan

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jourdan, M., Le Bellec, C., Parigot, D. (1990). The OLGA attribute grammar description language: Design, implementation and evaluation. In: Deransart, P., Jourdan, M. (eds) Attribute Grammars and their Applications. Lecture Notes in Computer Science, vol 461. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53101-7_16

Download citation

  • DOI: https://doi.org/10.1007/3-540-53101-7_16

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53101-2

  • Online ISBN: 978-3-540-46666-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation