Skip to main content
SpringerLink
Log in

Internals and externals of the FNC-2 attribute grammar system

  • Conference paper
  • First Online:
Attribute Grammars, Applications and Systems (SAGA School 1991)

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

Abstract

Fnc-2 is a modern attribute grammar processing system aiming at expressive power, efficiency, ease of use and versatility. This paper provides the reader with a brief tour inside Fnc-2, presenting the most important features of its “engine”: efficient sequential exhaustive, parallel exhaustive and sequential incremental evaluation of strongly non-circular AGs. These methods are based on the visit-sequence paradigm; the first one makes use of extensive space optimizations. Then we describe the external features of the system—attribute coupled grammar view of an AG, specially-designed AG-description language, with provisions for true modularity, and complete environment—that make it really usable for developing large-scale applications. Experience with the system is briefly reported.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. V. Aho, R. Sethi & J. D. Ullman, Compilers: Principles, Techniques and Tools, Addison Wesley, Reading, MA, 1986.

    Google Scholar 

  2. H. Alblas, “Incremental Attribute Evaluation,” in this volume, 1991.

    Google Scholar 

  3. -, “Attribute Evaluation Methods,” in this volume, 1991.

    Google Scholar 

  4. K. Barbar, “Classification des grammaires d'attributs ordonnées,” Rapport 8412, Univ. de Bordeaux I, Apr. 1984.

    Google Scholar 

  5. 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. Joint issue with ACM SIGPLAN Notices 24, 2 (Feb. 1989).

    Article  Google Scholar 

  6. B. Courcelle & P. Franchi-Zannettacci, “Attribute Grammars and Recursive Program Schemes,” Theoret. Comput. Sci. 17, 2 and 3 (1982), 163–191 and 235–257.

    Article  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, “Pagode: A Back-end Generator using Attributed Abstract Syntaxes and Term Rewritings,” in Compiler Compilers '90, Schwerin, D. Hammer, ed., 86–105, Lect. Notes in Comp. Sci. #477, Springer-Verlag, New York-Heidelberg-Berlin, Oct. 1990.

    Google Scholar 

  9. J. Engelfriet, “Attribute Grammars: Attribute Evaluation Methods,” in Methods and Tools for Compiler Construction, B. Lorho, ed., 103–138, Cambridge Univ. Press, Cambridge, 1984

    Google Scholar 

  10. J. Engelfriet & G. Filè, “Simple Multi-Visit Attribute Grammars,” J. Comput. System Sci. 24, 3 (June 1982), 283–314.

    Article  Google Scholar 

  11. G. Filè, “Classical and Incremental Attribute Evaluation by Means of Recursive Procedures,” Theoret. Comput. Sci. 53, 1 (Jan. 1987), 25–65.

    Article  Google Scholar 

  12. 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 

  13. 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.

    Google Scholar 

  14. 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 

  15. M. Jourdan, “A Survey of Parallel Attribute Evaluation Methods,” in this volume, 1991.

    Google Scholar 

  16. M. Jourdan, C. Le Bellec & D. Parigot, “The Olga Attribute Grammar Description Language: Design, Implementation and Evaluation,” in Attribute Grammars and their Applications (WAGA), Paris, P. Deransart & M. Jourdan, eds., 222–237, Lect. Notes in Comp. Sci. #461, Springer-Verlag, New York-Heidelberg-Berlin, Sept. 1990.

    Google Scholar 

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

    Google Scholar 

  18. -, “Techniques for Improving Grammar Flow Analysis,” in European Symp. on Programming (ESOP '90), Copenhagen, N. Jones, ed., 240–255, Lect. Notes in Comp. Sci. #432, Springer-Verlag, New York-Heidelberg-Berlin, May 1990.

    Google Scholar 

  19. M. Jourdan, D. Paxigot, C. Julié, O. Durin & C. Le Bellec, “Design, Implementation and Evaluation of the PNC-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.

    Google Scholar 

  20. 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., 29–45, Lect. Notes in Comp. Sci. #461, Springer-Verlag, New York-Heidelberg-Berlin, Sept. 1990.

    Google Scholar 

  21. 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 

  22. U. Kastens, “Ordered Attribute Grammars,” Acta Inform. 13, 3 (1980), 229–256.

    Article  Google Scholar 

  23. -, “Implementation of Visit-Oriented Attribute Evaluators,” in this volume, 1991.

    Google Scholar 

  24. K. Kennedy & S. K. Warren, “Automatic Generation of Efficient Evaluators for Attribute Grammars,” in 3rd ACM Symp. on Principles of Progr. Languages, Atlanta, Ge, 32–49, Jan. 1976.

    Google Scholar 

  25. D. E. Knuth, “Semantics of Context-free Languages,” Math. Systems Theory 2, 2 (June 1968), 127–145.

    Article  Google Scholar 

  26. B. Lorho & C. Pair, “Algorithms for Checking Consistency of Attribute Grammars,” in Proving and improving Programs, Arc et Senans, G. Huet & G. Kahn, eds., 29–54, INRIA, Rocquencourt, July 1975.

    Google Scholar 

  27. B. Marmol, “Évaluateurs d'attributs parallèles sur multi-processeurs à mémoire partagée,” rapport de DEA, Univ. d'Orléans, Sept. 1990.

    Google Scholar 

  28. U. Möncke & R. Wilhelm, “Grammar Flow Analysis,” in this volume, 1991.

    Google Scholar 

  29. D. Parigot, “Un système interactif de trace des circularités dans une grammaire attribuée et optimisation du test de circularité,” rapport de DEA, Univ. de Paris-Sud, Orsay, Sept. 1985.

    Google Scholar 

  30. -, “Transformation, é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 

  31. T. Reps, Generating Language-based Environments, MIT Press, Cambridge, MA, 1984.

    Google Scholar 

  32. H. Riis-Nielson, “Computation Sequences: A Way to Characterize Subclasses of Attribute Grammars,” Acta Inform. 19 (1983), 255–268.

    Google Scholar 

  33. S. D. Swierstra & H. H. Vogt, “Higher Order Attribute Grammars,” in this volume, 1991.

    Google Scholar 

  34. J. Uhl, S. Drossopoulos, G. Persch, G. Goos, M. Daussmann, G. Winterstein & W. Kirchgäßner, An Attributed Grammar for tie Semantic Analysis of ADA, Lect. Notes in Comp. Sci. #139, Springer-Verlag, New York-Heidelberg-Berlin, 1982.

    Google Scholar 

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

    Google Scholar 

  36. D. Yeh, “On Incremental Evaluation of Ordered Attributed Grammars,” BIT 23 (1983), 308–320.

    Google Scholar 

Download references

Author information

Author notes

  1. Martin Jourdan & Didier Parigot

    Present address: INRIA, Projet ChLoÉ, Bât. 13, Domaine de Voluceau, Rocquencourt, BP 105, F-78153, Le Chesnay Cedex, France

Authors and Affiliations

    Authors
    1. Martin Jourdan
      View author publications

      You can also search for this author in PubMed Google Scholar

    2. Didier Parigot
      View author publications

      You can also search for this author in PubMed Google Scholar

    Corresponding authors

    Correspondence to Martin Jourdan or Didier Parigot .

    Editor information

    Henk Alblas Bořivoj Melichar

    Rights and permissions

    Reprints and permissions

    Copyright information

    © 1991 Springer-Verlag Berlin Heidelberg

    About this paper

    Cite this paper

    Jourdan, M., Parigot, D. (1991). Internals and externals of the FNC-2 attribute grammar system. In: Alblas, H., Melichar, B. (eds) Attribute Grammars, Applications and Systems. SAGA School 1991. Lecture Notes in Computer Science, vol 545. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54572-7_20

    Download citation

    • DOI: https://doi.org/10.1007/3-540-54572-7_20

    • Published:

    • Publisher Name: Springer, Berlin, Heidelberg

    • Print ISBN: 978-3-540-54572-9

    • Online ISBN: 978-3-540-38490-8

    • eBook Packages: Springer Book Archive

    Publish with us

    Policies and ethics

    Search

    Navigation