Higher order attribute grammars

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 545 LNCS, Issue , 1991, Pages 256-296

  Swierstra, Doaitse ^a   Vogt, Harald ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CONTEXT SENSITIVE GRAMMARS; EDUCATION; FORESTRY; FUNCTION EVALUATION; PROGRAM COMPILERS; SEMANTICS;

ATTRIBUTE EVALUATION; ATTRIBUTE GRAMMARS; EXECUTION MODEL; HIGHER-ORDER; INCREMENTAL EVALUATION; OPTIMISATIONS; PARSE TREES; SEMANTIC FUNCTIONS;

FUNCTIONAL PROGRAMMING;

EID: 84976694024     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-54572-7_10     Document Type: Conference Paper

References (25)

1. Deransart, P., M. Jourdan and B. Lorho. Attribute Grammars: Definitions, Systems and Bibliography. LNCS 323, Springer Verlag, Aug. 1988.
2. J. Craig Cleaveland and Robert C. Uzagalis Grammars for Programming Languages Elsevier/North-Holland 1977.
3. Ganzinger, H., and R. Giegerich. Attribute Coupled Grammars Sigplan Notices VoL 19, No. 6, pages 157-170, 1984.
4. Deransart, P., M. Jourdan (Eds.). Attribute Grammars and their Applications. Proceedings of the International Workshop on Attribute Grammars and their Applications (WAGA), LNCS 461, Paris, September 19-21, 1990.
5. Hoover, R. Dynamically Bypassing Copy Rule Chains in Attribute Grammars. In Proc. of the 13th ACM Symp. on Principles of Programming Languages, St. Petersburg, FL, Jan 13-15, pages 14-25, 1986.
6. Hughes, R.J.M. Super-combinators: A New Implementation Method for Applicative Languages. In Proc. ACM Symp. on Lisp and Functional Progr., Pittsburgh, 1982.
7. Hughes, R.J.M. Lazy memo functions. In Proc. Conference on Functional Progr. and Comp. Architecture, Nancy, pages 129-146, LNCS 201, Springer Verlag, 1985.
8. Jazayeri, M., W.F. Ogden, W.C. Rounds. The intrinsically exponential complexity of the circularity problem for attributed grammars. In CACM 18, pages 679-706, 1975.
9. Kastens, U. Offered Attributed Grammars. Acta Informatica, 13, pages 229-256, 1980.
10. Knuth, D.E. Semantics of context-free languages. Math. Syst. Theory, 2(2):127-145, 1968.
11. Knuth, D.E. Semantics of context-free languages (correction). Math. Syst. Theory, 5(1):95-96, 1971.
12. Koster, C.H.A. Affix Grammars for Programming Languages this summer school
13. Kuiper, M.F. and S.D. Swierstra Using Attribute Grammars to Derive Efficient functional programs. Computing Science in the Netherlands, SION, November 1987.
14. Pugh, W.W. Incremental Computation and the Incremental Evaluation of Functional Programs. Tech. Rep. 88-936 and Ph.D. Thesis, Dept. of Computer Science, Cornell Univ., Ithaca, N.Y., Aug. 1988.
15. Reps, T. Generating language based environments. Tech. Rep. 82-514 and Ph.D dissertation, Dept. of Computer Science, CorneU Univ., Ithaca, N.Y., Aug. 1982.
16. Reps, T., T. Teitelbanm and A. Demers. Incremental Context-Dependent Analysis for Language Based Editors. In ACM Transactions on Progr. Lang. and Systems, Vol. 5, No. 3, pages 449-477, July 1983.
17. Reps, T. and T. Teitelbanm. The Synthesizer Generator: A System for Constructing Language-Based Editors. Springer-Verlag, NY, 1988.
18. Teitelbanm, T. and R. Chapman. Higher-Order Attribute Grammars and Editing Environments. ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, White Plains, New York, pages 197-208, June, 1990.
19. Turner, D.A. Miranda: A non-strict functional language with polymorphic types. In J. Jouannand, editor, Funct. Progr. Lang. and Comp. Arch., pages 1-16, Springer, 1985.
20. Turner, D.A., A New Implementation Technique for Applicative Languages In Software, Practice and Experience, vol. 9, pages 31-49, 1979.
21. Vogt, H.H., S.D. Swierstra and M.F. Kuiper. Higher Order Attribute Grammars. ACM SIGPLAN '89 Conference on Programming Language Design and Implementation, Portland, Oregon, pages 131-145, June, 1989.
22. Vogt, H.H., A. van den Berg and A. Freije. Rapid development of a program transformation System with attribute grammars and dynamic transformations. In the proceedings of the International Workshop on Attribute Grammars and their Applications (WAGA), LNCS 461, Paris, pages 101-115, September 19-21, 1990.
23. Vogt, H.II., S.D. Swierstra and M.F. Kuiper. Efficient incremental evaluation of higher order attribute grammars. In the proceedings of the International Symposium on Programming" Language Implementation and Logic Programming, Passau (FRG), August 26-28, (To Appear), 1991.
24. Waite, W.M. and G. Goos. Compiler Construction. Springer, 1984.
25. Yeh, D. On incremental evaluation of ordered attributed grammars. BIT, 23:308-320, 1983.