Skip to main content
SpringerLink
Log in

Anhang

  • Chapter
Attributierte Grammatiken und Attributierungsalgorithmen

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 157))

  • 26 Accesses

Zusammenfassung

Diese Gegenüberstellung erhebt keinen Anspruch auf Vollständigkeit.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographie über Attributierte Grammatiken

  1. Adorni, G.; Boccalatti, A.; DiManzo, M.: Top—Down Semantic Analysis, The Computer Journal, Vol. 27, S. 233–237 (1984)

    Article  MathSciNet  MATH  Google Scholar 

  2. Agafonov, V.N.: On Attribute Grammars, Lecture Notes in Computer Science, Vol. 45, S. 169–172 (1976)

    Article  Google Scholar 

  3. Aho, Alfred V.; Sethi, Ravi; Ullman, Jeffrey D.: Compilers: Principles, Techniques and Tools Addison—Wesley, Reading (1985)

    Google Scholar 

  4. Alblas, Henk: A Charakterization of Attribute Evaluation in Passes, Acta Informatica, Vol. 16, S. 427–464 (1981)

    Article  MathSciNet  MATH  Google Scholar 

  5. Alblas, Henk: Transformations of Attributed Program Trees, Report TL—TR—EXT-84–30, Tartan Laboratories, Pittsburgh (1984)

    Google Scholar 

  6. Arthur, James; Ramanathan, Jyashree: Design of Analyzers for Selektive Program Analysis, IEEE Transactions on Software Engineering, Vol.SE-7, S. 39–51 (1981)

    Google Scholar 

  7. Asp, J.: Description of the Syntax and Static Semantics of Pascal_HB Using the Compiler Writing System HLP, Internal Report C-1980–77, Department of Computer Science. University of Helsinki (1980)

    Google Scholar 

  8. Bartmuss, G.; Giegerich, Robert: Compiler Development with MUG2 — An Introductory Example, Bericht TUM—INFO-8102, Institut für Informatik, TU München (1981)

    Google Scholar 

  9. Babich, Wayne A.; Jazayeri, Mehdi: The Method of Attribute for Data Flow Analysis, Acta Informatica, Vol.10, S.245–264 und 5. 265–272 (1978)

    Google Scholar 

  10. Bartha M.: An Algebraic Definition of Attributed Translations University of Szeged (1981)

    Google Scholar 

  11. Branquart, P.; Cardinael, J.P.; Lewi, J.; Delescaille, J.P.; Van Begin, M.: A Simple Translation Automation Allowing the Generation of Optimized Code, Lecture Notes in Computer Science, Vol. 47, S. 209–217 (1977)

    Article  Google Scholar 

  12. Boccalatte, A.; Di Manzo, M.: An Approach to the Detection of Semantic Errors, The Computer Journal, Vol. 23, S. 317–323 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  13. Boccalatte, A.; Di Manzo, M.; Sciarra, D.: Error Recovery with Attribute Grammars, The Computer Journal, Vol. 25, S. 331–337 (1982)

    MATH  Google Scholar 

  14. Beshers, George McArthur; Campbell, Roy Harold: Maintained and Constructor Attributes, ACM SIGPLAN Notices, Vol. 20, Nr. 7, S. 34–42 (1985)

    Article  Google Scholar 

  15. Bjorner, Dines: Programming Languages: Formal Development of Programming Languages and Compilers, Proceedings of the International Computing Symposium 1977, 5. 1–21 (1977)

    Google Scholar 

  16. Blattner, Meera; Ramanathan, Jayashree: Attributed Metaforms for Top—Down Design and Analysis of Programs Proceedings of the Annual Princeton, Conference on Information Science and Systems, Vol. 13, S. 200–206 (1979)

    Google Scholar 

  17. Bochmann, Gregor V.: Semantic Equivalence of Syntactically Related Attribute Grammars Publication 148, Department d’Informatique, Universite de Montreal (1973)

    Google Scholar 

  18. Bochmann, Gregor V.: Attribute Grammars and Compilation:Program Evaluation in Several Phases, Document de Travail 54, Department d’Informatique, Universite de Montreal (1974)

    Google Scholar 

  19. Bochmann, Gregor V.: Semantic Attributes for Grammars with Regular Expressions, Publication 195, Department d’Informatique, Universite de Montreal (1975)

    Google Scholar 

  20. Bochmann, Gregor V.: Semantic Evaluaion from Left to Right, Communications of the ACM, Vol. 19, S. 55–62 (1975)

    Article  MathSciNet  Google Scholar 

  21. Bochmann, Gregor V.: Semantic Equivalence of Covering Attribute Grammars International, Journal of Computer and Information Science, Vol. 8, S. 523–539 (1979)

    Article  MathSciNet  MATH  Google Scholar 

  22. Borowiec, Jan: Metalanguages of the Compiler Production System COPS, GI Fachgespräch über Compiler—Compiler (ed. Henhapl, W.), FB Informatik, TH Darmstadt, S.122–159 (1978)

    Google Scholar 

  23. Bochmann, Gregor V.; Ward, P.: Compiler Writing System for Attribute Grammars, The Computer Journal, Vol. 21, S. 144–148 (1978)

    MATH  Google Scholar 

  24. Courcelle, Bruno; Franchi—Zannettaci, Paul: On the Expressive Power of Attribute Grammars, Proceedings of the IEEE Symposium on Foundation of Computer Science, Vol. 21, S. 161–172 (1980)

    Google Scholar 

  25. Courcelle, Bruno; Franchi—Zannettaci, Paul: On the Equivalence Problem for Attribute Systems, Information and Control, Vol. 52, S. 275–305 (1982)

    Article  MathSciNet  MATH  Google Scholar 

  26. Courcelle, Bruno; Franchi—Zannettaci, Paul: Attribute Grammars and Recursive Program Schemas, Theoretical Computer Science, Vol.17, S.163–191 und S. 235–257 (1982)

    Google Scholar 

  27. Chebotar, K.S.: Order of Calculation of Semantic Attributes, Programming and Computer Software, Vol. 5, S. 113–117 (1979)

    MATH  Google Scholar 

  28. Chebotar, K.S.: Some Modifications of Knuth’s Algorithm for Verifying Cyclicity of Attribute Grammars, Programming and Computer Software, Vol. 7, S. 58–61 (1981)

    MATH  Google Scholar 

  29. Chirica, Laurian M.; Martin, David F.: An Algebraic Formulation of Knuthian Semantics, Annual Symposium on Foundations of Computer Science, Vol. 17, S. 127–136 (1976)

    MathSciNet  Google Scholar 

  30. Chirica, Laurian M.; Martin, David F.: An Order—Algebraic Definition of Knuthian, Semantics Mathematical Systems Theory, Vol. 13, S. 1–27 (1979)

    Article  MathSciNet  MATH  Google Scholar 

  31. Chirica, Laurian M.; Martin David F.: Towards Compiler Implementation Correctness Proofs, ACM Transactions on Programming Languages and Systems, Vol. 8, S. 185–214 (1986)

    Article  MATH  Google Scholar 

  32. Courcelle, Bruno; Deransart, Pierre: Proofs of Partial Correctness for Attribute Grammars and Recursive Procedures, Rapports de Recherche, INRIA, Le Chesnay, Vol. 322 (1984)

    Google Scholar 

  33. Cohen, Rina; Harry, Eli: Automatic Generation of Near—Optimal Linear—Time Translators for Non—Circular Attribute Grammars, Conference Record of the ACM Symposium on Principles of Programming Languages, Vol. 6, 5. 121–134 (1979)

    MathSciNet  Google Scholar 

  34. Courcelle, Bruno: Attribute Grammars: Theory and Applications, Lecture Notes in Computer Science, Vol. 107, S. 75–95 (1981)

    Article  MathSciNet  Google Scholar 

  35. Courcelle, Bruno: Attribute Grammars: Definitions, Analysis of Dependencies, Proof Methods, Methods and Tools for Compiler Construction (ed. Lorho, Bernard), Cambridge University Press, S.81–102 (1984)

    Google Scholar 

  36. Crowe D.: Generating Parsers for Affix Grammars, Communications of the ACM, Vol. 15, S. 728–732 (1972)

    Article  MathSciNet  MATH  Google Scholar 

  37. Culik, K.: Attributed Grammars and Languages, Publication 3, Department d’Informatique, Universite de Montreal (1969)

    Google Scholar 

  38. DeRemer, Frank; Jullig, Richard K.: Tree—Affix Dendrogrammars for Languages and Compilers, Lecture Notes in Computer Science, Vol. 94, S. 300–319 (1980)

    Article  Google Scholar 

  39. Dembinski, Piotr; Maluszynski, Jan: Attribute Grammars and Two—Level Grammars: A Unifying Approach Lecture, Notes in Computer Science, Vol. 64, S. 143–154 (1978)

    Article  MathSciNet  Google Scholar 

  40. Deransart, Pierre; Maluzynski, Jan: Modelling Data Dependencies in Logic Programs and Attribute Grammars Report, Linköping Institute of Technology (1984) Rapports de Recherche, INRIA, Le Chesnay, Vol. 323 (1984)

    Google Scholar 

  41. Deransart, Pierre; Maluzynski, Jan: Relating Logic Programs and Attribute Grammars Report, Linköping Institute of Technology (1984) Rapports de Recherche, INRIA, Le Chesnay, Vol. 393 (1985)

    Google Scholar 

  42. Dencker, Peter: Generative Attributierte Grammatiken GMD—Bericht, Vol.158, 01denbourg, München (1986)

    Google Scholar 

  43. Deransart, Pierre: Definition and Implementation of a LISP System Using Semantic Attributes, Implementation and Design of Algorithmic Languages. Proceedings of the Annual III Conference, Le Chesnay, Vol. 5, S. 25–39 (1977)

    Google Scholar 

  44. Deransart, Pierre: Proof and Synthesis of Semantic Attributes in Compiler Definition Rapports de Recherche 333, IRIA Laboria, Le Chesnay (1978)

    Google Scholar 

  45. Deransart, Pierre: Proof of Semantic Attributes in a Lisp Compiler, The Computer Journal, Vol. 22, S. 240–245 (1979)

    Article  MATH  Google Scholar 

  46. Deransart, Pierre: Logical Attribute Grammars, Information Processing 83, Proceedings of the IFIP Congress 1983, S. 463–469 (1983)

    Google Scholar 

  47. DIN 66253 Tei12: Programmiersprache PEARL, Normentwurf Beuth—Verlag, Berlin (1980)

    Google Scholar 

  48. Dion, B.A.: Locally Least—Cost Error Correctors for Context—Free and Context—Sensitive Parsers, Technical Report 344, Computer Science Department, University of Wisconsin, Madison (1978)

    Google Scholar 

  49. Deransart, Pierre; Jourdan, Martin; Lorho, Bernard: Speeding up Circularity Tests for Attribute Grammars, Acta Informatica, Vol. 21, S. 375–391 (1984)

    Article  MathSciNet  MATH  Google Scholar 

  50. Deransart, Pierre; Jourdan, Martin; Lorho, Bernard: A Survey on Attribute Grammars, Rapports de Recherche, INRIA, Le Chesnay, Vol. 485, 510, 417 (1986)

    Google Scholar 

  51. Duske, J.; Parchmann, Rainer; Sedello, Manfred; Specht, J.: IO—Macrolanguages and Attributed Translations, Information and Control, Vol. 35, S. 87–105 (1977)

    Article  MathSciNet  Google Scholar 

  52. Dreisbach, T.A.: A Declarative Semantic Definition of PL360, Report UCLA—ENG-7289, Computer Languages Group, Computer Science Department, University of California, Los Angeles (1972)

    Google Scholar 

  53. Demers, Alan; Reps, Thomas; Teitelbaum, Tim: Incremental Evaluation for Attribute Grammars with Application to Syntax—Directed Editors, Conference Record of the Annual ACM Symposium on Principles of Programming Languages, Vol. 8, S. 105–116 (1981)

    Google Scholar 

  54. Demers, Alan; Rogers, Anne; Zadeck, Frank Kenneth: Attribute Propagation by Message Passing, ACM SIGPLAN Notices, Vol. 20, Nr. 7, S. 43–59 (1985)

    Article  Google Scholar 

  55. Duncan, A.G., Hutchison, J.S.: Using Attribute Grammars to test Designs and Implementations Procceedings of the International, Conference on Software Engineering, Vol. 5, 5. 170–178 (1981)

    Google Scholar 

  56. Drossopoulou, Sophia; Uhl, Jürgen; Persch, Guido; Goos, Gerhard; Dausmann, Manfred; Winterstein, Georg: An Attribute Grammar for Ada, ACM SIGPLAN Notices, Vol. 17, Nr. 6, S. 334–349 (1982)

    Article  Google Scholar 

  57. Engelfriet, Joost; File, Gilberto: Passes and Paths of Attribute Grammars, Information and Control, Vol. 49, S. 125–169 (1981)

    Article  MathSciNet  MATH  Google Scholar 

  58. Engelfriet, Joost; File, Gilberto: Passes, Sweeps and Visits, Lecture Notes in Computer Science, Vol. 115, S. 193–207 (1981)

    Article  Google Scholar 

  59. Engelfriet, Joost; File, Gilberto: Formal Properties of One—Visit and Multi—Pass Attribute Grammars, Lecture Notes in Computer Science, Vol. 85, S. 182–194 (1980)

    Article  MathSciNet  Google Scholar 

  60. Engelfriet, Joost; File, Gilberto: The Formal Power of One—Visit Attribute Grammars, Acta Informatica, Vol. 16, S. 275–302 (1981)

    Article  MathSciNet  MATH  Google Scholar 

  61. Engelfriet, Joost; File, Gilberto: Simple Multi—Visit Attribute Grammars, Journal of Computer and System Sciences, Vol. 24, S. 283–314 (1982)

    Article  MathSciNet  MATH  Google Scholar 

  62. Engelfriet, Joost: Attribute Evaluation Methods, Methods and Tools for Compiler Construction (ed. Lorho, Bernard), Cambridge University Press, S.103–138 (1984)

    Google Scholar 

  63. Fang, Isu: FOLDS, a Declarative Formal Language Definition System Report STAN—CS-72–329, Computer Science Department, School of Humanities and Science, Stanford University (1972)

    Google Scholar 

  64. Fang, Isu: FOLDS, a Declarative Formal Language Definition System Structure et Programmation des Calculateuers, Seminaires IRIA, Le Chesnay, S. 275–290 (1973)

    Google Scholar 

  65. Farrow, Rodney: Attributed Grammar Models for Data Flow Analysis Dissertation, Rice University, Houston, Texas (1977)

    Google Scholar 

  66. Farrow, Rodney: Linguist-86, Yet Another Translator Writing System based on Attribute Grammars, ACM SIGPLAN Notices, Vol. 17, Nr. 6, S. 160–171 (1982)

    Article  Google Scholar 

  67. Farrow, Rodney: Attribute Grammars and Data—Flow Languages, ACM SIGPLAN Notices, Vol. 18, Nr. 6, S. 28–40 (1983)

    Article  Google Scholar 

  68. Farrow, Rodney: Sub—Protocol—Evaluators for Attribute Grammars, ACM SIGPLAN Notices, Vol. 19, Nr. 6, S. 70–80 (1984)

    Article  Google Scholar 

  69. Farrow, Rodney: Automatic Generation of Fixed—Point—Finding Evaluators for Circular, but Well—Defined Attribute Grammars, ACM SIGPLAN Notices, Vol. 21, Nr. 7, S. 85–98 (1986)

    Article  Google Scholar 

  70. Farrow, Rodney: Experience with an Attribute Grammar—Based Compiler, Conference Record of the Annual ACM Symposium on Principles of Programmming Languages, Vol. 9, S. 95–107 (1982)

    Google Scholar 

  71. Farrow, Rodney: Generating a Production Compiler from an Attribute Grammar, IEEE Software, Vol. 1, Nr. 4 (1984)

    Google Scholar 

  72. Farrow, Rodnay; Yellin, Daniel: A Comparison of Storage Optimizations in Automatically—Generated Attribute Evaluators, Acta Informatica, Vol. 23, S. 393–427 (1986)

    Article  MATH  Google Scholar 

  73. File, Gilberto: Theory of Attribute Grammars, Dissertation, Technische Hogeschool Twente (1983)

    Google Scholar 

  74. File, Gilberto: Interpretation and Reduction of Attribute Grammars, Acta Informatica, Vol. 19, S. 115–150 (1983)

    Article  MathSciNet  MATH  Google Scholar 

  75. Franzen, Helmut; Hoffmann, Berthold: Automatic Determination of Data Flow in Extended Affix, Grammars Informatik—Fachberichte, Vol. 19, S. 176–193 (1979)

    Google Scholar 

  76. Fülöp, Z.: On Attributed Tree Transducers, Acta Cybernetica, Vol. 5, S. 261–279 (1981)

    MATH  Google Scholar 

  77. Ganapathi, Mahadevan; Fischer, Charles.N.: Description Driven Code Generation using Attribute Grammars, Conference Record of the Annual ACM Symposium on Principles of Programmming Languages, Vol. 9, S. 108–119 (1982)

    Google Scholar 

  78. Ganapathi, Mahadevan; Fischer, Charles.N.: Affix Grammar Driven Code Generation, ACM Transactions on Programming Languages and Systems, Vol. 7, 5. 560–599 (1985)

    Article  Google Scholar 

  79. Ganzinger, Harald; Giegerich, Robert: Attribute Coupled Grammars, ACM SIGPLAN NOtices, Vol. 19, Nr. 6, S. 157–170 (1984)

    Article  Google Scholar 

  80. Gallier, J.H.: An Efficient Evaluator for Attribute Grammars with Conditional Rules Technical Report, Department of Computer and Information Sciences, Moore School of Electrical Engineering, University of Pennsylvannia, Philadelphia (1983)

    Google Scholar 

  81. Ganzinger, Harald: Modifizierte Attributierte Grammatiken, Bericht TUM—INFO-7420, Institut für Informatik, TU München (1974)

    Google Scholar 

  82. Ganzinger, Harald: MUG1—Manual, Bericht TUM—INFO-7608, Institut für Informatik, TU München (1976)

    Google Scholar 

  83. Ganzinger, Harald: Optimierende Erzeugung von Ubersetzerteilen aus Formalen, Implementierungsorientierten, Schrittweise Verfeinerten Sprachbeschreibungen Dissertation, TU München (1978)

    Google Scholar 

  84. Ganzinger, Harald: An Approach to the Derivation of Compiler Description Concepts from the Mathematicl Semantics Concept, Informatik—Fachberichte, Vol. 19, S. 206–217 (1979)

    Google Scholar 

  85. Ganzinger, Harald: Transforming Denotational Semantics into Practical Attribute Grammars Lecture, Notes in Computer Science, Volk. 94, S. 1–69 (1980)

    Google Scholar 

  86. Ganzinger, Harald: An Overview of the Attribute Definition Language ADELE, GI Fachgespräch über Compiler—Compiler (ed. Henhapl, W.), Vol.3, S.22–53 (1982)

    Google Scholar 

  87. Ganapathi, Mahadevan: Retargetable Code Generation and Optimization using Attibute Grammars, Technical Report 406, Computer Science Department, University of Wisconsin, Madison (1981)

    Google Scholar 

  88. Ganzinger, Harald: On Storage Optimization for Automatically Generated Compilers Lecture, Notes in Computer Science, Vol. 6, S. 132–141 (1979)

    Article  MathSciNet  Google Scholar 

  89. Gerhart, Susan L.: Correctness—Preserving Program Transformation, Conference Record of the ACM Symposium on Principles of Programming Languages, Vol. 2, S. 54–66 (1975)

    Google Scholar 

  90. Giegerich, Robert: Introduction to the Compiler Generating System MUG2, Bericht TUM—INFO-7913, Institut für Informatik, TU München (1979)

    Google Scholar 

  91. Giegerich, Robert; Wilhelm, Reinhard: Implementierbarkeit Attributierter, Grammatiken Informatik—Fachberichte, Vol. 10, S. 17–36 (1977)

    Google Scholar 

  92. Giegerich, Robert; Wilhelm, Reinhard: Counter—One—Pass Features in One—Pass Compilation, A Formalization using Attribute Grammars, Information Processing Letters, Vol. 7, S. 279–284 (1978)

    Article  MathSciNet  MATH  Google Scholar 

  93. Glasner, Ingrid; Müncke, Ulrich; Wilhelm, Reinhard: OPTRAN, a Language for the Specification of Program, Transformations Informatik—Fachberichte, Vol. 25, 5. 125–142 (1980)

    Google Scholar 

  94. Ganzinger, Harald; Giegerich, Robert; Möncke, Ulrich; Wilhelm, Reinhard: A Truly Generative Semantics—Directed Compiler Generator, ACM SIGPLAN Notices, Vol. 17, Nr. 6, S. 172–184 (1982)

    Article  Google Scholar 

  95. Goos, Gerhard; Wulf, William A.; Evans, Arthur; Butler, Kenneth J.: DIANA. An Intermediate Languages for Ada, Lecture Notes in Computer Science, Vol. 161 (1983)

    Google Scholar 

  96. Ganzinger, Harald; Ripken, Knut; Wilhelm, Reinhard: MUGI — An Incremental Compiler—Compiler, Proceedings of the ACM Annual Conference, 1976, S. 415–418 (1976)

    Article  Google Scholar 

  97. Ganzinger, Harald; Ripken, Knut; Wilhelm, Reinhard: Automatic Generation of Optimizing Multipass Compilers Informating Processing 77, Proceedings of the IFIP Congress 1977, S. 535–540 (1977)

    Google Scholar 

  98. Gyimothy, T.; Simon, E.; Makay, A.: An Implementation of the HLP, Acta Cybernetica, Vol. 6, S. 315–327 (1983)

    Google Scholar 

  99. Giegerich, Robert; Wilhelm, Reinhard: Attribute Evaluation, Le Point sur la Compilation, Proceedings IRIA Symposium on State of the Art and Future Trends in Compilation, (eds. Neel, D.; Armirchahy, M.), S.337–365 (1978)

    Google Scholar 

  100. Hehner, E.C.A.; Silverberg, Brad A.: Programming with Grammars: An Exercise in Methodology—Directed Language Design, The Computer Journal, Vol. 26, S. 277–281 (1983)

    Article  MathSciNet  MATH  Google Scholar 

  101. Horwitz, Susan; Teitelbaum, Tim: Relations and Attributes: A Symbiotic Basis for Editing Environments, ACM SIGPLAN Notices, Vol. 20, Nr. 7, S. 93–106 (1985)

    Article  Google Scholar 

  102. Hoover, Roger; Teitelbaum, Tim: Efficient Incremental Evaluation of Aggregate Values in Attribute Grammars, ACM SIGPLAN Notices, Vol. 21, Nr. 7, S. 39–50 (1986)

    Article  Google Scholar 

  103. Hartwig, M.: Implementation einer Attribut—Grammatik in SIMULA, Vorträge der ALGOL—Tagung, Schriftenreihe des WBZMKRI, Dresden (1981)

    Google Scholar 

  104. Jalili, Fahimed: A General Linear—Time Evaluator for Attribute Grammars, ACM SIGPLAN Notices, Vol. 18, Nr. 9, S. 35–44 (1983)

    Article  Google Scholar 

  105. Jalili, Fahimed: A General Incremental Evaluator for Attribute Grammars, Science of Computer Programming, Vol. 5, S. 83–96 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  106. Jazayeri, Mehdi; Pozefsky, Diane: Efficient Evaluation of Multi Pass Attribute Grammars without a Parse Tree, Proceedings of the Conference on Information Science and Systems 1977, S. 184–189 (1977)

    Google Scholar 

  107. Pozefsky, Diane, Jazayeri, Mehdi: A Family of Pass—Oriented Attribute Grammar Evaluators, Prooceedings of the ACM Annual Conference, 1978, S. 261–270 (1978)

    Google Scholar 

  108. Jazayeri, Mehdi; Pozefsky, Diane: Space—Efficient Storage Management in an Attribute Grammar Evaluator Report TR 79–007, Department of Computer Science, University of North Carolina, Chapel Hill (1979)

    Google Scholar 

  109. Jazayeri, Mehdi; Pozefsky, Diane: A Space Improvement in the Alternating Semantic Evaluator, Proceedings of the ACM Annual Conference 1980, S. 498–504 (1980)

    Article  Google Scholar 

  110. Jazayeri, Mehdi; Pozefsky, Diane: Space Efficient Storage Management in an Attribute Grammar Evaluator, ACM Transactions on Programming Languages and Systems, Vol. 3, S. 388–404 (1981)

    Article  MATH  Google Scholar 

  111. Jazayeri, Mehdi; Walter, Kenneth G.: Alternating Semantic Evaluator, Proceedings of the ACM Annual Conference 1975, S. 230–234 (1975)

    Google Scholar 

  112. Jazayeri, Mehdi: On Attribute Grammars and the Semantic Specification of Programming Languages, Report, Jennings Computing Center, Case Western Reserve University, Cleveland, Vol. 1159 (1974)

    Google Scholar 

  113. Jazayeri, Mehdi: Live Variable Analysis, Attribute Grammars and Program Optimization Department of Computer Science, University of North Carolina, Chapel Hill (1975)

    Google Scholar 

  114. Jazayeri, Mehdi: Formal Specification and Automatic Programming, Proceedings of the International Conference on Software Engineering, Vol. 2, S. 293–296 (1976)

    Google Scholar 

  115. Jazayeri, Mehdi: A Simpler Construction for Showing the Intrinsically Exponential Complexity of the Circularity Problem for Attribute Grammars, Journal of the ACM, Vol. 28, S. 715–720 (1981)

    Article  MathSciNet  MATH  Google Scholar 

  116. Jullig, Richard K.; De Remer, Frank: Regular Right—Part Attribute Grammars, ACM SIGPLAN Notices, Vol. 19, Nr. 6, S. 171–178 (1984)

    Article  Google Scholar 

  117. Jespersen, P.; Madsen, Michael, Riis, Hanne: New Extended Attributed System (NEATS), Report DAIMI, Computer Science Department, Aarhus University (1978)

    Google Scholar 

  118. Jochum, Gerhard: Automatische Konstruktion und Einheitliche Darstellung von Attributauswertungsalgorithmen, Dissertation, TU München (1981)

    MATH  Google Scholar 

  119. Jochum, Gerhard: Efficiente Attributauswertung durch Kombination Verschiedener Strategien, GI Fachgespräch über Compiler—Compiler (ed. Henhapl, W.), S.54–74 (1982)

    Google Scholar 

  120. Jourdan, Martin: An Optimal—Time Recursive Evaluator for Attribute Grammars Lecture, Notes in Computer Science, Vol. 167, S. 167–178 (1984)

    Article  MathSciNet  Google Scholar 

  121. Johnson, Gregory F.; Fischer, Charles N.: Non Syntatic Attribute Flow in Language based Editors Conference Record of the Annual, ACM Symposium on Principles of Programming Languages, Vol. 9, S. 185–195 (1982)

    Google Scholar 

  122. Johnson, Gregory F.; Fischer, Charles N.: A Meta Languages and System for Nonlocal Incremental Attribute Evaluation in Language based Editors, Conference Record of the Annual ACM Symposium on Principles of Programming Languages, Vol. 12, S. 141–151 (1985)

    Google Scholar 

  123. Jones, Neil D.; Madsen, Michael: Attribute—Influenced LR Parsing, Lecture Notes in Computer Science, Vol. 94, S. 393–407 (1980)

    Article  Google Scholar 

  124. Jones, Neil D.: Circularity Testing of Attribute Grammars Requires Exponential Time: a Simpler Proof, Report DAIMI PB-107, Aarhus University (1980)

    Google Scholar 

  125. Jourdan, Martin: Strongly Non—Circular Attribute Grammars and their Recursive Evaluation, ACM SIGPLAN Notices, Vol. 19, Nr. 6, S. 81–93 (1984)

    Article  Google Scholar 

  126. Jazayeri, Mehdi; Ogden, William F.; Rounds, William C.: The Instrinsically Exponential Complexity of the Circularity Problem for Attribute Grammars, Communications of the ACM, Vol. 18, S. 697–706 (1975)

    Article  MathSciNet  MATH  Google Scholar 

  127. Jourdan, Martin: Recursive Evaluator of Strongly Non—Circular Attribute Grammars, Implementierung von Programmiersprachen (ed. Ganzinger, Harald), S.83–94 (1984)

    Google Scholar 

  128. Jourdan, Martin: Recursive Evaluators for Attribute Grammars: an Implementation Methods and Tools for Compiler Construction (ed. Lorho, Bernard), Cambridge University Press, S.139–163 (1984)

    Google Scholar 

  129. Katayama, Takuya; Hoshino, Yuaka: Verification of Attribute Grammars, Conference Record of the Annual ACM Symposium on Principles of Programming Languages, Vol. 8, S. 177–186 (1981)

    Google Scholar 

  130. Kaiser, Gail E.: Generation of Run—Time Environments, ACM SIGPLAN Notices, Vol. 21, Nr. 7, S. 51–57 (1986)

    Article  MathSciNet  Google Scholar 

  131. Kamimura, Tsotomu: Tree Automata and Attribute Grammars, Information and Control, Vol.57, S.1–20 (1983) auch: Lecture Notes in Computer Science, Vol. 154, S. 374–384 (1983)

    Article  MathSciNet  Google Scholar 

  132. Kastens, Uwe: Systematische Analyse Semantischer Abhängigkeiten, Informatik—Fachberichte, Vol. 1, S. 19–32 (1976)

    Google Scholar 

  133. Kastens, Uwe: Ein Übersetzer—Erzeugendes System auf der Basis Attributierter Grammatiken, Bericht 10/76, Fakultät für Informatik, U Karlsruhe (1976)

    Google Scholar 

  134. Kastens, Uwe: ALADIN — Eine Definitionssprache für Attributierte Grammatiken Bericht 7/79, Fakultät für Informatik, U Karlsruhe (1979)

    Google Scholar 

  135. Kastens, Uwe: Ordered Attributed Grammars, Acta Informatica, Vol. 13, S. 229–256 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  136. Kastens, Uwe: Eigenschaften von Programmiersprachen — Definiert durch Attributierte Grammatiken, Informatik—Fachberichte, Vol. 25, 5. 157–174 (1981)

    Google Scholar 

  137. Kastens, Uwe: The GAG—System — A Tool for Compiler Construction, Methods and Tools for Compiler Construction (ed. Lorho, Bernard), Cambridge University Press, S.165–181 (1984)

    Google Scholar 

  138. Katayama, Takuya: HFP: A Hierachical and Functional Programming based on Attribute Grammar, Conference Record of the International Conference on Software Engineering, Vol. 5, S. 343–352 (1981)

    MathSciNet  Google Scholar 

  139. Katayama, Takuya: Translation of Attribute Grammars into Procedures, ACM Transactions on Programming Languages and Systems, Vol. 6, 5. 345–369 (1984)

    Article  MATH  Google Scholar 

  140. Kastens, Uwe; Zimmermann, Erich: GAG — A Generator Based on Attribute Grammars, Bericht 14/80, Fakultät für Informatik, U Karlsruhe (1980)

    Google Scholar 

  141. Kastens, Uwe; Asbrock, Brigitte; Zimmermann, Erich: Generating a Pascal Analyser from Attributed Grammar Bericht 16/81, Fakultät für Informatik, U Karlsruhe (1981)

    Google Scholar 

  142. Kerutt, Helia: Programmieren in CDL2 (Einführung für ALGOL60—Kenner) Bericht 77–24, FB Informatik, TU Berlin (1977)

    Google Scholar 

  143. Kennedy, Ken; Ramanathan, Jayashree: A Deterministic Attribute Grammar Evaluator based on Dynamic Sequencing, ACM Transactions on Programming Languages and Systems, Vol.1, S. 142–160 (1979)

    Google Scholar 

  144. Kennedy, Ken; Warren, Scott K.: Automatic Generation of Efficient Evaluators for Attribute Grammars Conference Record of the Annual, ACM Symposium on Principles of Programming Languages, Vo1, 3, S. 32–49 (1979)

    Google Scholar 

  145. Kastens, Uwe; Hutt, Brigitte; Zimmermann, Erich: GAG: A Practical Compiler Generator, Lecture Notes in Computer Science, Vol. 141 (1982)

    Google Scholar 

  146. Kastens, Uwe; Köllner, Rainer; Zimmermann, Erich; Hruschka, P.; Kappatsch, A: Eine Attributierte Grammatik für PEARL, Bericht 15/80, Fakultät für Informatik, U Karlsruhe (1980)

    Google Scholar 

  147. Kelleher, J.; McGriff, F., Pozefsky, Diane: TAG: Testing Attribute Grammars, Architectural Description Department of Computer Science, University of North Carolina, Chapel Hill (1975)

    Google Scholar 

  148. Knuth, Donald E.: Semantics of Context—Free Languages, Mathematical Systems Theory, Vol.2, S.127–145 (1968) and Vol. 5, S. 95–96 (1971)

    MathSciNet  MATH  Google Scholar 

  149. Knuth, Donald E.: Examples of Formal Semantics, Lecture Notes in Mathematics, Vol. 188, S. 212–235 (1971)

    Article  MathSciNet  Google Scholar 

  150. Koskimies, Kai; Paakki, J.: HLP84 — Semantic Metalanguages and its Implementation Internal Report, Department of Computer Science, University of Helsinki, Ser.C., Vol. 69 (1983)

    Google Scholar 

  151. Koskimies, Kai; Räihä, Kari—Jouko: Modelling of Space—Efficient One—Pass Translation using Attribute Grammars, Software—Practice and Experience, Vol. 13, S. 119–129 (1983)

    Article  Google Scholar 

  152. Koster, C.H.A.: Affix—Grammars ALGOL 68 Implementation (ed. Peck, J.E.L.), S.95–109 (1971)

    Google Scholar 

  153. Koster, C.H.A.: Using the CDL Compiler—Compiler, Lecture Notes in Computer Science, Vol. 21, S. 366–426 (1974)

    Article  Google Scholar 

  154. Koster, C.H.A.: CDL — A Compiler Implementation Language, Lecture Notes in Computer Science, Vol. 47, S. 341–350 (1977)

    Article  MathSciNet  Google Scholar 

  155. Koskimies, Kai: An Attribute Grammar for a Subset of the Programming Language Euclid Report, Department of Computer Science, University of Helsinki (1981)

    Google Scholar 

  156. Koskimies, Kai: An Experience on Language Implementation using Attribute Grammars Report, Department of Computer Science, University of Helsinki, Ser.A., Vol. 2 (1982)

    Google Scholar 

  157. Koskimies, Kai: Extensions of One—Pass Attribute Grammars, Report, Department of Computer Science, University of Helsinki, Ser.A., Vol. 4 (1983)

    Google Scholar 

  158. Koskimies, Kai: A Specification Language for One—Pass Semantic Analysis ACM SIGPLAN Notices, Vol.19, Nr.6, S.. 179–189 (1984)

    Google Scholar 

  159. Kronauer, Karlheinz: Werkbuch einer Vergleichenden Studie über Compiler—Compiler Bericht PU1R7/82, FB Informatik, TH Darmstadt (1982)

    Google Scholar 

  160. Koskimies, Kai; Räihâ, Kari—Jouko; Sarjakowski, Matti: Compiler Construction using Attribute Grammars, ACM SIGPLAN Notices, Vol. 17, Nr. 6, S. 153–159 (1982)

    Google Scholar 

  161. Kurki—Suonio, Reino: Towards better structured Definitions of Programming Languages Report STAN—CS-75–500, Computer Science Department, Stanford University (1975)

    Google Scholar 

  162. Lorho, Bernard; Pair, C.: Algorithms for Checking Consistency of Attribute Grammars. Proving and Improving Programs (eds. Huet, G.; Kahn, G.), Colloques IRIA, Le Chesnay, S.29–54 (1975)

    Google Scholar 

  163. Lorho; Bernard: Semantic Attribute Processing in the System DELTA Lecture, Notes in Computer Science, Vol. 47, S. 21–40 (1977)

    Article  Google Scholar 

  164. Lewis, Philip M.; Rosenkrantz, Daniel J.; Stearns, Richard E.: Attributed Translations, Journal of Computer and System Sciences, Vol. 9, S. 279–307 (1974)

    Article  MathSciNet  MATH  Google Scholar 

  165. Lewis, Philip M.; Rosenkrantz, Daniel J.; Stearns, Richard E.: Compiler Design Theory, Addison Wesley, Reading (1976)

    MATH  Google Scholar 

  166. Lewi, J.; De Vlamink, K.; Huens, J.; Mertens, P.: SLS/1: A Translator Writing System, Lecture Notes in Computer Science, Vol. 34, S. 627–641 (1975)

    Article  Google Scholar 

  167. Lewi, J.; De Vlamink, K.; Huens, J.; Huybrechts, M.: Projekt LILA, the ELL (1) Generator, Basic Principles, Report CW5, Applied Mathematics and Programming Divsion, Katholieke Universiteit Leuven (1976)

    Google Scholar 

  168. Lewi, J.; De Vlamink, K.; Huens, J.; Huybrechts, M.: Projekt LILA, the ELL (1) Generator of LILA, an Introduction Internatinal Computing Symposium, Vol. 5, S. 237–251 (1977)

    Google Scholar 

  169. Lewi, J.; De Vlamink, K.; Huens, J.; Huybrechts, M.: A Programming Methodology in Compiler Construction North Holland, Amsterdam (1979)

    Google Scholar 

  170. Lu, P.M.; Yau, S.S.; Hong, W.: A Formal Methodology using Attributed Grammars for Multiprocessing—System Software Development (I. Design Representation II. Validation) Information Sciences, Vol.30, S.79–105 und S. 107–123 (1983)

    Google Scholar 

  171. Madsen, Ole Lehrmann: On the Use of Attribute Grammars in a Practical Translator Writing Sysrem, Master’s Thesis, Aarhus University (1975)

    Google Scholar 

  172. Madsen, Ole Lehrmann: On Defining Semantics by Means of Extented Attribute Grammars Lecture, Notes in Computer Science, Vol. 94, S. 259–299 (1980)

    Article  Google Scholar 

  173. Makarov, V.P.: Attributed Quasitranslation Grammars and their Implementatin in the SAGET Translator Generation System, Programming and Computer Software, Vol. 9, S. 85–90 (1983)

    Google Scholar 

  174. Madsen, C.M.: Parsing Attribute Grammars Thesis, Aarhus University (1980)

    Google Scholar 

  175. Mayoh, Brian: Attribute Grammars and Mathematical Semantics SIAM, Journal on Computing, Vol. 10, S. 503–518 (1981)

    MathSciNet  MATH  Google Scholar 

  176. McEnerney, J.M.: A General Compiler Generator based on Attribute Grammars, Department of Computer and Information Sciences, Moore School of Electrical Engineering, University of Pennsylvannia, Philadelphia (1983)

    Google Scholar 

  177. Meijer, Hans: An Implementation of Affix Grammars, Lecture Notes in Computer Science, Vol. 94, S. 320–349 (1980)

    Article  Google Scholar 

  178. Meijer, Hans; Nijholt, Anton: Translator Writing Tools since 1970: a Selective Bibliography ACM SIGPLAN Notices, Vol. 17, Nr. 10, S. 62–72 (1982)

    Google Scholar 

  179. Merkle, R.C.: Evaluations for Attribute Grammars, Master’s Thesis, Computer Science Department, University of California, Berkeley (1977)

    Google Scholar 

  180. Meriste, M.B.: Methods of Implementing Attribute Schemes in Compiler—Construction Systems, Programming and Computer Software, Vol. 6, S. 253–261 (1980)

    Google Scholar 

  181. Milton, D.R.; Fischer, C.N.: LL (k) Parsing for Attributed Grammars, Lecture Notes in Computer Science, Vol. 71, S. 422–430 (1979)

    Article  MathSciNet  Google Scholar 

  182. Milton, D.R.: Syntatic Specification and Analysis with Attributed Grammars Technical Report 304, Computer Science Department, University of Wisconsin, Madison (1977)

    Google Scholar 

  183. Milton, D.R.; Kirchhoff, L.W.; Rowland, B.R.: An ALL (1) Compiler Generator, ACM SIGPLAN Notices, Vol. 14, Nr. 8, S. 152–157 (1979)

    Article  Google Scholar 

  184. Mössenböck, Hanspeter: Ein einfacher Compiler—Compiler für Mikrocomputer, Elektronische Rechenanlagen, Vol.26, S.-186–194 (1984)

    Google Scholar 

  185. Möncke, Ulrich; Weisgerber, Beatrix; Wilhelm, Reinhard: How to Implement a System for Manipulation of Attributed Trees, Informatik—Fachberichte, Vol. 77, 5. 112–117 (1984)

    Google Scholar 

  186. Neel, D.; Amirchahy, M.; Mazaud, M: Optimization of Generated Code by Means of Attributes: Local Elimination of Common Redundant Sub—Expressions Lecture, Notes in Computer Science, Vol. 26, S. 247–256 (1974)

    Article  Google Scholar 

  187. Neel, D.; Amirchahy, M.: Semantic Attributes and Improvement of Generated Code Proceedings of the ACM Annual Conference, 1974, S. 1–10 (1974)

    Google Scholar 

  188. Neel, D.; Amirchahy, M.: Removal of Invariant Statements from Nested—Loops in a Single Effective Compiler Pass, ACM SIGPLAN Notices, Vol. 10, Nr. 3, S. 87–96 (1975)

    Article  Google Scholar 

  189. Nielson, Hanne Riis: Using Computation Sequences to Define Evaluators for Attribute Grammars, Report DAIMI PB-139, Aarhus University (1981)

    Google Scholar 

  190. Nielson, Hanne Riis: Computation Sequences: A Way to Characterize Classes of Attribute Grammars, Acta Informatica, Vol. 19, S. 255–268 (1983)

    MathSciNet  MATH  Google Scholar 

  191. Noonan, Robert: Strutured Programming and Formal Specification, IEEE Transactions on Software Engineering, Vol.SE-1, 5. 421–425 (1975)

    Google Scholar 

  192. Papakonstantinou, George K.; Kontos, J.: The Interpretation of Meta Grammars Describing Syntax—Directed Interpreters using an Attibute Grammar Interpreter, IEEE Transactions on Software Engineering, Vol.SE-8, 5. 435–436 (1982)

    Google Scholar 

  193. Papakonstantinou, George K.; Kontos, J.: Knowledge Representation with Attribut Grammars, The Computer Journal, Vol. 29, S. 241–245 (1986)

    Article  MATH  Google Scholar 

  194. Pair C.; Amirchahy M.; Neel D.: Correctness Proofs of Syntax—Directed Processing Descriptions by Attributes, Journal of Computer and System Sciences, Vol. 19, S. 1–17 (1979)

    Article  MathSciNet  MATH  Google Scholar 

  195. Papakonstatinou, George K.: A Poor Man’s Realization of Attribute Grammars, Software—Practice and Experience, Vol. 9, S. 719–728 (1979)

    Article  Google Scholar 

  196. Papakonstatinou, George K.: An Interpreter of Attrbute Grammars and its Application of Waveform Analysis, IEEE Transactions on Software Engineering, Vol.SE-7, 5. 276–283 (1981)

    Google Scholar 

  197. Papakonstantinou, George K.: A Sentence Generator Based on an Attribut Grammar, Angewandte Informatik, Vol. 8, S. 345–347 (1983)

    Google Scholar 

  198. Parchmann, Rainer: Grammatiken mit Attributschema und Zweistufige Auswertung Attributierter Grammatiken, Bericht 46, Schriften zur Informatik und Angewandten Mathematik, RWTH Aachen (1978)

    Google Scholar 

  199. Parchmann, Rainer; Sedello, Manfred: Syntaxgesteuerte Codierung zur Berechnung Arithmetischer Ausdrücke auf einer Parallelmaschine unter Verwendung Knuth’scher Attribute, Bericht 20, Schriften zur Informatik und Angewandten Mathematik, RWTH Aachen (1975)

    Google Scholar 

  200. Paillard, Jean—Pierre; Simonet, Michel: Attribute—like W—Grammars, Implementation and Design of Algorithmic Languages. Proceedings of the III Conference, Le Chesnay, Vol. 5, S. 13–24 (1977)

    Google Scholar 

  201. Papakonstantinou, George K.; Skordalokii, E.: Normal ECG Pattern Generation using Attribute Grammars Proceedings of the Annual International Conference on Pattern Recognation, Vol.6, IEEE Computer Society Press (1982)

    Google Scholar 

  202. Penner, Volker: Die Eingabesprache LDL für ein Compiler—Erzeugendes System und ein umfassendes Beispiel, Bericht 50, Schriften zur Informatik und Angewandten Mathematik, RWTH Aachen (1979)

    Google Scholar 

  203. Penjam, J.: Realization of Attributive Semantics, Cybernetics, Vol. 16, S. 199–206 (1980)

    Article  Google Scholar 

  204. Penjam, J: Synthesis of a Semantic Processor from an Attributte Grammar, Programming and Computer Software, Vol. 9, S. 29–39 (1980)

    Google Scholar 

  205. Petrik, Stanley R.: Semantic Interpretation in the REQUEST System IBM Research Report RC4457, IBM Thomas J. Watson Research Center, Yorktown Heights (1973)

    Google Scholar 

  206. Petrik, Stanley R.: Semantic Interpretation in the REQUEST System Computational and Mathematical Linguistics, Vol.II (eds. Zampolli, A.; Calzolari, N.), Olschki, Firenze, S.585–610 (1977)

    Google Scholar 

  207. Pen’Yam, Y.E.: Realization of Attributive Semantics, Cybernetics, Vol. 16, S. 199–206 (1981)

    Article  Google Scholar 

  208. Payton, T.; Keller, S.; Perkins, J.; Rowan, S.; Mardinly, S.: SSAGS, a Syntax and Semantics Analysis and Generation System IEEE COMPSAC 1982, S. 424–432 (1982)

    Google Scholar 

  209. Papakonstantinou, George K.; Moraitis, C.; Panayiotopoulou, T.: An Attribute Grammar Interpreter as a Knowlegde Engeneering Tool, Angewandte Informatik, Vol. 9, S. 382–388 (1986)

    Google Scholar 

  210. Pohlmann, Werner: LR Parsing for Affix Grammars, Acta Informatica, Vol. 20, S. 283–300 (1983)

    Article  MathSciNet  MATH  Google Scholar 

  211. Pozefsky, Diane: Building Efficient Pass—Oriented Attribute Grammar Evaluators Technical Report UNC—TR-79–006, University of North Carolina, Chapel Hill (1979)

    Google Scholar 

  212. Pyster, Arthur; Buttelmann, H.William: Semantic—Syntax—Directed Translations, Information and Control, Vol. 36, S. 320–361 (1978)

    Article  MathSciNet  MATH  Google Scholar 

  213. Räihä, Kari—Jouko: Experience with the Compiler Writing System HLP, Lecture Notes in Computer Science, Vol. 94, S. 350–362 (1980)

    Article  Google Scholar 

  214. Räihä, Kari—Jouko: On Attribute Grammars and their Use in a Compiler Writing System Report, Department of Computer Science, University of Helsinki, Ser.A., Vol. 4 (1977)

    Google Scholar 

  215. Räihä, Kari—Jouko: Dynamic Allocation of Space for Attribute Instances in Multi—Pass Evaluators of Attribute Grammars, ACM SIGPLAN Notices, Vol. 14, Nr. 8, S. 26–38 (1979)

    Article  Google Scholar 

  216. Räihä, Kari—Jouko: Bibliography on Attribute Grammars, ACM SIGPLAN Notices, Vol. 15, Nr. 3, S. 35–44 (1980)

    Google Scholar 

  217. Räihä, Kari—Jouko: A Space Management Technique for Multi—Pass Attribute Evaluators Report, Department of Computer Science, University of Helsinki, Ser.A., Vol. 4 (1981)

    Google Scholar 

  218. Räihä, Kari—Jouko: Attribute Grammar Design using the Compiler Writing System HLP Methods and Tools for Compiler Construction (ed. Lorho, Bernard), Cambridge University Press, S.183–206 (1984)

    Google Scholar 

  219. Räihä, Kari—Jouko; Saarinen, Mikko: Developments in Compiler Writing Systems, Informatik—Fachberichte, Vol. 5, 5. 164–178 (1976)

    Google Scholar 

  220. Räihä, Kari—Jouko; Saarinen, Mikko: An Optimization of the Alternating Semantic Evaluator, Information Processing Letters, Vol. 6, Nr. 3, S. 97–100 (1977)

    Article  MATH  Google Scholar 

  221. Räihä, Kari—Jouko; Saarinen, Mikko: Testing Attribute Grammars for Circularity, Acta Informatica, Vol. 176, S. 185–192 (1982)

    Article  Google Scholar 

  222. Räihä, Kari—Jouko; Tarhio, Jorma: A Globalizing Transformation for Attribute Grammars, ACM SIGPLAN Notices, Vol. 21, Nr. 7, S. 74–84 (1986)

    Article  Google Scholar 

  223. Räihä, Kari—Jouko; Ukkonen, Esko: On the Optimal Assignment of Attributes to the Passes in Multi—Pass Attribute Evaluators, Lecture Notes in Computer Science, Vol. 85, S. 500–511 (1980)

    Article  Google Scholar 

  224. Räihä, Kari—Jouko; Ukkonen, Esko: Balancing Syntatic and Semantic Power in Compiler Specification Information Processing 80, Proceedings of the IFIP Congress 1980, S. 65–78 (1980)

    Google Scholar 

  225. Räihä, Kari—Jouko; Ukkonen, Esko: Minimizing the Number of Evaluation Passes for Attribute Grammars, SIAM Journal on Computing, Vol. 10, S. 772–786 (1981)

    Article  MathSciNet  MATH  Google Scholar 

  226. Rechenberg, Peter: Attributierte Grammatiken als Werkzeug der Softwaretechnik Technischer Bericht 3/80, Insttut für Informatik, TU Linz (1980)

    Google Scholar 

  227. Reps, Thomas; Demers, Alan: Sublinear—Space Evaluation Algorithms for Attribute Grammars, ACM Transactions on Programming Languages and Systems. (1985)

    Google Scholar 

  228. Rechenberg, Peter; Mössenböck, Hanspeter: Ein Compiler—Compiler für Mikrocomputer: Grundlagen, Anwendung, Programmierung in Modula-2, Hanser, München (1985)

    Google Scholar 

  229. Reps, Thomas: The Synthesizer Editor Generator — Reference Manual, Report, Department of Computer Science, Cornell University (1981)

    Google Scholar 

  230. Reps, Thomas: Optimal—Time Incremental Semantic Analysis for Syntax—Directed Editors Conference, Record of the Annual Symposium on Principles of Programming Languages, Vol. 9, S. 169–176 (1982)

    Google Scholar 

  231. Reps, Thomas: Generating Language—Based Environments M.I.T. Press, Cambridge (1984)

    Google Scholar 

  232. Reps, Thomas; Teitelbaum, Tim: The Synthesizer Generator, ACM SIGPLAN Notices, Vol. 19, Nr. 5, S. 42–48 (1984)

    Article  Google Scholar 

  233. Reps, Thomas; Teitelbaum, Tim: The Synthesizer Generator — Reference Manual, Report, Department of Computer Science, Cornell University (1985)

    Google Scholar 

  234. Ridjanovic, Dzenan; Brodie, Michael L.: Defining Database Dynamics with Attribute Grammars, Information Processing Letters, Vol. 14, S. 132–138 (1982)

    Article  Google Scholar 

  235. Riis, Hanne: Subclasses of Attribute Grammars, Report DAIMI—PB-114, Aarhus University (1980)

    Google Scholar 

  236. Riis, Hanne:Madsen, Michael: The NEATS System, Report DAIMI—MD-44, Aarhus University (1982)

    Google Scholar 

  237. Ripken, Knut: Formale Beschreibung von Maschinen, Implementierungen und Optimierender Maschinencodeerzeugung aus Attributierten Programmgraphen Dissertation, TU München (1977)

    Google Scholar 

  238. Riis, Hanne; Skyum, Sven: K—Visit Attribute Grammars, Mathematical Systems Theory, Vol. 15, S. 17–28 (1981)

    Article  MathSciNet  MATH  Google Scholar 

  239. Riedewald, Günter; Maluzynski, Jan; Dembinski, Piotr: Formale Beschreibung von Programmiersprachen Oldenbourg, München (1983)

    Google Scholar 

  240. Röhrich, Johannes: Multiple Attributgrammatiken, Informatik — Forschung und Entwicklung, Vol. 1, S. 53–61 (1986)

    MATH  Google Scholar 

  241. Rowland, B.R.: Combining Parsing and Evaluation for Attributed Grammars Technical Report 308, Computer Science Department, University of Wisconsin, Madison (1977)

    Google Scholar 

  242. Rechenberg, Peter; Pomberger, Gustav; Ritzinger, F.: Compiler Writing Technique and their Use in a Modula-2 Compiler Implementierung von Programmiersprachen (ed. Ganzinger, Harald), S.113–123 (1984)

    Google Scholar 

  243. Räihä, Kari—Jouko; Saarinen, Mikko; Soisalon—Soininen, Eljas; Tienari, Martti: The Compiler Writing System HLP (Helsinki Language Processor) Report, Department of Computer Science, University of Helsinki, Ser.A., Vol. 2 (1978)

    Google Scholar 

  244. Räihä, Kariouko; Saarinen, Mikko; Sarjarkowski, Matti; Sippu, Seppo; Soisalon—Soininen, El jas; Tienari, Martti: Revised Report on the Compiler Writing System HLP78, Report, Department of Computer Science, University of Helsinki, Ser.A., Vol. 1 (1983)

    Google Scholar 

  245. Reps, Thomas; Teitelbaum, Tim; Demers, Alan: Incremental Context—Dependent Analysis for Language—Based Editors ACM, Transactions on Programming Languages and Systems, Vol.5, 5.449–477 (1983) and Vol. 5, S. 680 (1983)

    Google Scholar 

  246. Saarinen, Mikko: On Constructing Efficient Evaluators for Attribute Grammars Lecture, Notes in Computer Science, Vol. 62, S. 382–397 (1978)

    Article  Google Scholar 

  247. Schulz, Waldean A.: Semantic Analysis and Target Language Synthesis in a Translator Ph.D.Thesis, University of Colorado, Boulder (1976)

    Google Scholar 

  248. Schmidt, Erik Meineche: Space—Restricted Attribute Grammars, Lecture Notes in Computer Science, Vol. 85, S. 436–448 (1980)

    Article  Google Scholar 

  249. Schauer, Jacob: Einsatz von Attributierten Grammatiken für Werkzeuge in Programmierumgebungen, Implementierung von Programmiersprachen (ed. Ganzinger, Harald), 5.125–132 (1984)

    Google Scholar 

  250. Sernadas, Christina; Carapuca, R.: The Role of Conceptual Modelling Abstractions in Compiler Development, The Computer Journal, Vol. 30, S. 328–336 (1986)

    Article  Google Scholar 

  251. Siitari, H.: An Attribute Grammar for the Programming Language SIMULA Internal Report, Department of Computer Science, University of Helsinki, Ser.C., Vol. 90 (1979)

    Google Scholar 

  252. Silverberg, Brad A.: Using a Grammatical Formalism as a Programming Language Technical Report CSRG-88, Computer Systems Research Group, University of Toronto (1978)

    Google Scholar 

  253. Simonet, Michel: An Attribute Description of a Subset of ALGOL68, ACM SIGPLAN Notices, Vol. 12, Nr. 6, S. 129–137 (1977)

    Article  Google Scholar 

  254. Skedzeleski, Stephan K.: Definition and Use of Attribute Reevaluation in Attributed Grammars Technical Report 340, Computer Science Department, University of Wisconsin, Madison (1978)

    Google Scholar 

  255. Sonnenschein, Michael: Generierung Effizienter Compilerteile durch Attributierten Grammatik Verwandter Konzepte, Dissertation, TH Aachen (1983)

    Google Scholar 

  256. Sonnenschein, Michael: Global Storage Cells for Attributes in a Attribute Grammar, Acta Informatica, Vol. 22, S. 397–420 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  257. Sassa, Masataka; Tokuda, Jonko; Shinogi, Tsuyoshi; Inoue, Kenzo: Design and Implementation of a Multipass—Compiler Generator, Journal of Information Processing, Vol. 3, S. 77–86 (1980)

    Google Scholar 

  258. Tarhio, Jorma: Attribute Evaluation During LR Parsing, Report, Department of Computer Science, University of Helsinki, Ser.A., Vol. 4 (1982)

    Google Scholar 

  259. Tienari, Martti: On the Definition of an Attribute Grammar, Lecture Notes in Computer Science, Vol. 94, S. 408–414 (1980)

    Article  Google Scholar 

  260. Tienari, Martti: Compiler—Compiler as a Software Product, Bericht PU1R13/82, FB Informatik, TH Darmstadt (1982)

    Google Scholar 

  261. Tusera, Dimitri: Example of Transformation of a Derivation Tree for an Expression by Semantic Attributes, Information Processing 74, Proceedings of the IFIP Congress 1974, 5. 381–385 (1974)

    Google Scholar 

  262. Uhl, Jürgen; Drossopoulou, Sophia; Persch, Guido; Goos, Gerhard; Dausmann, Manfred; Winterstein, Georg; Kirchgässner, Walter: An Attribute Grammar for the Semantic Analysis of Ada Lecture Notes in Computer Science, Vol. 139 (1982)

    Google Scholar 

  263. Van Katwick, J.: A Preprocessor for YACC or a Poor Man’s Approach to Parsing Attributed Grammars, ACM SIGPLAN Notices, Vol. 18, Nr. 10, S. 12–15 (1983)

    Article  Google Scholar 

  264. Vooglaid, A.O.; Meriste, M.B.: Abstract Attribute Grammars, Programming and Computer Software, Vol. 8, S. 242–251 (1982)

    MathSciNet  MATH  Google Scholar 

  265. Waite, William M.; Goos, Gerhard: Compiler Construction, Texts and Monographs in Computer Science, Springer, Heidelberg (1984)

    Google Scholar 

  266. Waite, William M.: Generator for Attributed Grammars — Abstract Data Type Arbeitspapiere der GMD, Vol. 219 (1986)

    Google Scholar 

  267. Watt, David A.; Madsen, Ole Lehrmann: Extented Attribute Grammars, The Computer Journal, Vol. 26, S. 142–149 (1983)

    Article  MATH  Google Scholar 

  268. Warren, S.K.: The Efficient Evaluation of Attribute Grammars Thesis, Rice University, Houston (1975)

    Google Scholar 

  269. Warren, S.K.: The Coroutine Model of Attribute Grammar Evaluation Ph.D.Thesis, Rice University, Houston (1976)

    Google Scholar 

  270. Watt, David A.: The Parsing Problem for Affix Grammars Acta Informatica, Vol. 8, S. 1–20 (1977)

    MATH  Google Scholar 

  271. Watt, David A.: An Extended Attribute Grammar for PASCAL, ACM SIGPLAN Notices, Vol. 14, Nr. 3, S. 60–74 (1979)

    Article  Google Scholar 

  272. Watt, David A.: Rule Splitting and Attribute—Directed Parsing, Lecture Notes in Computer Science, Vol. 94, S. 363–392 (1980)

    Article  Google Scholar 

  273. Weber, Jürgen: Programmtransformationen mit Attributierten Transformationsgrammatiken, Bericht TUM—INFO-7604, Institut für Informatik, TU München (1976)

    Google Scholar 

  274. Wilhelm, Reinhard: Describing Code Optimization Algorithms by Attributed Transformational Grammars, Structure et Programmation des Calculateurs (ed. Kaiser, Claude), Seminaire Rocquencourt, IRIA, Le Chesnay, S.153–164 (1974)

    Google Scholar 

  275. Wilner, Wayne T.: A Declarative Semantic Definition Report STAN—CS-233–71, Computer Science Department, School of Humanities and Sciences, Stanford University (1971)

    Google Scholar 

  276. Wilner, Wayne T.: Formal Semantic Definition using Synthesized and Inherited Attributes Courant, Computer Science Symposium, Vol. 2, S. 25–39 (1972)

    MathSciNet  Google Scholar 

  277. Wilhelm, Reinhard: Code—Optimierung mittels Attributierter Transformationsgrammatiken Lecture, Notes in Computer Science, Vol. 26, S. 257–266 (1974)

    Article  MathSciNet  Google Scholar 

  278. Wilhelm, Reinhard: Baumtransformatoren: Ein Vergleich mit Baumtransduktoren und Aspekte der Implementierung, Dissertation, TU München (1977)

    Google Scholar 

  279. Wilhelm, Reinhard: Presentation of the Compiler Generating System MUG2. Examples: Global Flow Analysis and Optimization, Le Point sur la Compilation, Cours de la Commision des Communates Europeenes, Montpellier, IRIA, Le Chesnay, S. 307–335 (1978)

    Google Scholar 

  280. Wilhelm, Reinhard: Attributierte Grammatiken, Informatik—Spektrum, Vol. 2, S. 123–130 (1979)

    Google Scholar 

  281. Wilhelm, Reinhard: LL— and LR—Attributed Grammars, Informatik—Fachberichte, Vol. 53, 5. 151–164 (1982)

    MathSciNet  Google Scholar 

  282. Wilhelm, Reinhard; Ripken, Knut; Ciesinger, Joachim; Ganzinger, Harald; Lahner, Walter; Nollmann, Rolf: Design Evaluation of the Compiler Generating System MUG1, Proceedings of the International Conference on Software Engineering, Vol. 2, S. 571–576 (1976)

    Google Scholar 

  283. Yeh, Dashing: On Incremental Evaluation of Ordered Attributed, Grammars BIT, Vol. 23, S. 308–320 (1983)

    MATH  Google Scholar 

  284. Yellin, Daniel M.; Mueckstein, Eva—Maria M.: The Automatic Inversion of Attribute Grammars, IEEE Transactions on Softwate Engineering, Vol.SE-12, 5. 590–599 (1986)

    Google Scholar 

  285. Zima, Hans: Compilerbau I (Analyse), Reihe Informatik, Vol. 36, Bibliograhisches Institut, Mannheim (1982)

    Google Scholar 

  286. Zima, Hans: Compilerbau II (Synthese und Optimierung), Reihe Informatik, Vol. 37, Bibliographisches Institut, Mannheim (1983)

    Google Scholar 

5.3. Sonstige Literatur

  1. Aho, Alfred V.; Ullman, Jeffrey D.: The Theory of Parsing, Translation and Compiling, Vol. I: Parsing Prentice—Hall, Englewood Cliffs (1972)

    Google Scholar 

  2. Aho, Alfred V.; Ullman, Jeffrey D.: The Theory of Parsing, Translation and Compiling, Vol. II: Compiling Prentice—Hall, Englewood Cliffs (1973)

    Google Scholar 

  3. Aho, Alfred V.; Hoperoft, John E.; Ullman, Jeffrey D.: The Design and Analysis of Computer Algorithms Addison—Wesley, Reading (1974)

    Google Scholar 

  4. Aho, Alfred V.; Ullman, Jeffrey D.: Principles of Compiler Design Addison—Wesley, Reading (1977)

    Google Scholar 

  5. Chandra, Ashok K.; Stockmeyer, Larry J.: Alternation, Procceedings of the Annual IEEE Symposium on Foundations of Computer Science, Vol. 17, S. 98–108 (1976)

    MathSciNet  Google Scholar 

  6. Dörfler, Willibald; Mühlbacher, Jörg: Graphentheorie für Informatiker, Sammlung Göschen, W. de Gruyter, Berlin (1973)

    Book  Google Scholar 

  7. Garey, Michael R.; Johnson, David S.: Computers and Intractability: A Guide to the Theorie of NP—Completeness W.H.Freeman and Company, San Francisco (1979)

    MATH  Google Scholar 

  8. Goguen, J.A; Thatcher, J.W.: Initial Algebra Semantics, Annual Symposium on Switching and Automata Theory, Vol. 15, S. 63–77 (1974)

    Article  MathSciNet  Google Scholar 

  9. Grätzer, George: Universal Algebra, Springer, New York (1979)

    MATH  Google Scholar 

  10. Goguen, J.A.; Thatcher, J.W.; Wagner, E.G.; Wright, J.B.: Initial Algebra Semantics and Continuous Algebras, Journal of the ACM, Vol. 24, 5. 68–95 (1977)

    Article  MathSciNet  MATH  Google Scholar 

  11. Henhapl, Wolfgang; Snelting, Gregor: Context Relations — A Concept for Incremental Context Analysis in Program Fragments, Informatik—Fachberichte, Vol. 77, S. 128–143 (1984)

    Google Scholar 

  12. Räihä, Kari—Jouko; Ukkonen, Esko: The Shortest Common Supersequence Problem over a Binary Alphabet is NP—Complete, Theoretical Computer Science, Vol. 16, S. 187–198 (1981)

    Article  MathSciNet  MATH  Google Scholar 

  13. Scott, Dana: Data Types as Lattices, Lecture Notes in Mathematics, Vol. 499, S. 579–651 (1974)

    Article  Google Scholar 

  14. Tarjan, R.E.: Depth—First Search and Linear Graph Algorithms, SIAM Journal on Computing, Vol. 1, S. 146–160 (1972)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Softlab GmbH, Zamdorfer Straße 120, 8000, München 80, Deutschland

    Ulrich Mahn

Authors
  1. Ulrich Mahn
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Mahn, U. (1988). Anhang. In: Attributierte Grammatiken und Attributierungsalgorithmen. Informatik-Fachberichte, vol 157. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-51709-9_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-51709-9_5

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-642-51709-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation