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.
References
American National Standards Institution, ADA Reference Manual ANSI/MIL-STD 1815A, Jan. 1983.
A. W. Appel, “A Runtime System,” draft, Princeton Univ., Feb. 1989.
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.
P. Boullier & P. Deschamp, Le système SYNTAX—Manuel d'utilisation et de mise en oeuvre sous Unix, INRIA, Rocquencourt, Sept. 1988.
L. Cardelli, “Basic Polymorphic Typechecking,” Sci. Comput. Programming 8, 2 (Apr. 1987), 147–172.
G. Cousineau, G. Huet & L. Paulson, The ML Handbook, INRIA, Rocquencourt, May 1985. Co-published by Univ. of Cambridge.
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.
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.
G. D. P. Dueck & G. V. Cormack, “Modular Attribute Grammars,” research report CS-88-19, Univ. of Waterloo, May 1988.
O. Durin, “Traduction en Olga d'une grammaire attribuée écrite en Lisp,” rapport de stage d'option, École Polytechnique, Palaiseau, July 1988.
R. Farrow, The Linguist Translator-writing System—User's Manual version 6.25, Declarative Systems Inc., Palo Alto, CA, June 1989.
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.
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.
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.
H. Ganzinger, R. Giegerich & M. Vach, “MARVIN: a Tool for Applicative and Modular Compiler Specifications,” Forschungsbericht 220, Fachbereich Informatik, Univ. Dortmund, July 1986.
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.
R. Giegerich, “On the Relation between Descriptional Composition and Evaluation of Attribute Coupled Grammars,” Forschungsbericht 221, Fachbereich Informatik, Univ. Dortmund, July 1986.
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.
C. A. R. Hoare, “Hints on Programming Language Design,” tech. report STAN-CS-73-403, Comp. Sc. Dept., Stanford Univ., Oct. 1973.
M. Jourdan, “Les grammaires attribuées: implantation, applications, optimisations,” thèse de Docteur-Ingénieur, Univ. Paris VII, May 1984.
M. Jourdan & D. Parigot, The FNC-2 System User's Guide and Reference Manual, INRIA, Rocquencourt, Feb. 1989. This manual is periodically updated.
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.
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.
G. Kahn, B. Lang, B. Mélèse & É. Marcos, “Metal: a Formalism to Specify Formalisms,” Sci. Comput. Programming 3 (1983), 151–188.
U. Kastens, B. Hutt & E. Zimmermann, GAG: A Practical Compiler Generator, Lect. Notes in Comp. Sci. #141, Springer-Verlag, New York-Heidelberg-Berlin, 1982.
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.
C. Le Bellec, “Spécification de règles sémantiques manquantes,” rapport de DEA, Dépt. d'Informatique, Univ. d'Orléans, Sept. 1989.
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.
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.
R. Milner, “A Theory of Type Polymorphism in Programming,” J. Comput. System Sci. 17, 3 (Dec. 1978), 348–375.
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.
É. 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.
T. Reps & T. Teitelbaum, The Synthesizer Generator, Springer-Verlag, New York-Heidelberg-Berlin, 1989.
, The Synthesizer Generator Reference Manual 3rd edition, Springer-Verlag, New York-Heidelberg-Berlin, 1989.
R. D. Tennent, Principles of Programming Languages, Prentice-Hall, Englewood Cliffs, NJ, 1981.
M. D. Tiemann, “Removing Redundancy in Attribute Grammars,” manuscript, Parallel Processing Program, Microelectronic and Computer Technology Corp., Austin, TX, July 1987.
A. O. Vooglaid & M. B. Méristé, “Abstract Attribute Grammars,” Progr. and Computer Software 8, 5 (Sept. 1982), 242–251.
Author information
Authors and Affiliations
Editor information
Rights 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