Advertisement

Anhang

Chapter
  • 23 Downloads
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 157)

Zusammenfassung

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliographie über Attributierte Grammatiken

  1. [ABM84]
    Adorni, G.; Boccalatti, A.; DiManzo, M.: Top—Down Semantic Analysis, The Computer Journal, Vol. 27, S. 233–237 (1984)MathSciNetzbMATHCrossRefGoogle Scholar
  2. [Aga76]
    Agafonov, V.N.: On Attribute Grammars, Lecture Notes in Computer Science, Vol. 45, S. 169–172 (1976)CrossRefGoogle Scholar
  3. [ASU85]
    Aho, Alfred V.; Sethi, Ravi; Ullman, Jeffrey D.: Compilers: Principles, Techniques and Tools Addison—Wesley, Reading (1985)Google Scholar
  4. [Alb81]
    Alblas, Henk: A Charakterization of Attribute Evaluation in Passes, Acta Informatica, Vol. 16, S. 427–464 (1981)MathSciNetzbMATHCrossRefGoogle Scholar
  5. [Alb84]
    Alblas, Henk: Transformations of Attributed Program Trees, Report TL—TR—EXT-84–30, Tartan Laboratories, Pittsburgh (1984)Google Scholar
  6. [ArR81]
    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. [Asp80]
    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. [BaG81]
    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. [BaJ78]
    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. [Bar81]
    Bartha M.: An Algebraic Definition of Attributed Translations University of Szeged (1981)Google Scholar
  11. [BCL77]
    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)CrossRefGoogle Scholar
  12. [BDM80]
    Boccalatte, A.; Di Manzo, M.: An Approach to the Detection of Semantic Errors, The Computer Journal, Vol. 23, S. 317–323 (1980)MathSciNetzbMATHCrossRefGoogle Scholar
  13. [BDS82]
    Boccalatte, A.; Di Manzo, M.; Sciarra, D.: Error Recovery with Attribute Grammars, The Computer Journal, Vol. 25, S. 331–337 (1982)zbMATHGoogle Scholar
  14. [BeC85]
    Beshers, George McArthur; Campbell, Roy Harold: Maintained and Constructor Attributes, ACM SIGPLAN Notices, Vol. 20, Nr. 7, S. 34–42 (1985)CrossRefGoogle Scholar
  15. [Bjo77]
    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. [B1R79]
    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. [Boc73]
    Bochmann, Gregor V.: Semantic Equivalence of Syntactically Related Attribute Grammars Publication 148, Department d’Informatique, Universite de Montreal (1973)Google Scholar
  18. [Boc74]
    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. [Boc75]
    Bochmann, Gregor V.: Semantic Attributes for Grammars with Regular Expressions, Publication 195, Department d’Informatique, Universite de Montreal (1975)Google Scholar
  20. [Boc76]
    Bochmann, Gregor V.: Semantic Evaluaion from Left to Right, Communications of the ACM, Vol. 19, S. 55–62 (1975)MathSciNetCrossRefGoogle Scholar
  21. [Boc79]
    Bochmann, Gregor V.: Semantic Equivalence of Covering Attribute Grammars International, Journal of Computer and Information Science, Vol. 8, S. 523–539 (1979)MathSciNetzbMATHCrossRefGoogle Scholar
  22. [Bor78]
    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. [BoW78]
    Bochmann, Gregor V.; Ward, P.: Compiler Writing System for Attribute Grammars, The Computer Journal, Vol. 21, S. 144–148 (1978)zbMATHGoogle Scholar
  24. [CFZ80]
    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. [CFZ82]
    Courcelle, Bruno; Franchi—Zannettaci, Paul: On the Equivalence Problem for Attribute Systems, Information and Control, Vol. 52, S. 275–305 (1982)MathSciNetzbMATHCrossRefGoogle Scholar
  26. [CFz82]
    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. [Che79]
    Chebotar, K.S.: Order of Calculation of Semantic Attributes, Programming and Computer Software, Vol. 5, S. 113–117 (1979)zbMATHGoogle Scholar
  28. [Che81]
    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)zbMATHGoogle Scholar
  29. [ChM76]
    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)MathSciNetGoogle Scholar
  30. [ChM79]
    Chirica, Laurian M.; Martin, David F.: An Order—Algebraic Definition of Knuthian, Semantics Mathematical Systems Theory, Vol. 13, S. 1–27 (1979)MathSciNetzbMATHCrossRefGoogle Scholar
  31. [ChM86]
    Chirica, Laurian M.; Martin David F.: Towards Compiler Implementation Correctness Proofs, ACM Transactions on Programming Languages and Systems, Vol. 8, S. 185–214 (1986)zbMATHCrossRefGoogle Scholar
  32. [CoD84]
    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. [CoH79]
    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)MathSciNetGoogle Scholar
  34. [Cou81]
    Courcelle, Bruno: Attribute Grammars: Theory and Applications, Lecture Notes in Computer Science, Vol. 107, S. 75–95 (1981)MathSciNetCrossRefGoogle Scholar
  35. [Cou84]
    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. [Cro72]
    Crowe D.: Generating Parsers for Affix Grammars, Communications of the ACM, Vol. 15, S. 728–732 (1972)MathSciNetzbMATHCrossRefGoogle Scholar
  37. [Cul69]
    Culik, K.: Attributed Grammars and Languages, Publication 3, Department d’Informatique, Universite de Montreal (1969)Google Scholar
  38. [DeJ80]
    DeRemer, Frank; Jullig, Richard K.: Tree—Affix Dendrogrammars for Languages and Compilers, Lecture Notes in Computer Science, Vol. 94, S. 300–319 (1980)CrossRefGoogle Scholar
  39. [DeM78]
    Dembinski, Piotr; Maluszynski, Jan: Attribute Grammars and Two—Level Grammars: A Unifying Approach Lecture, Notes in Computer Science, Vol. 64, S. 143–154 (1978)MathSciNetCrossRefGoogle Scholar
  40. [DeM84]
    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. [DeM85]
    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. [Den86]
    Dencker, Peter: Generative Attributierte Grammatiken GMD—Bericht, Vol.158, 01denbourg, München (1986)Google Scholar
  43. [Der77]
    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. [Der78]
    Deransart, Pierre: Proof and Synthesis of Semantic Attributes in Compiler Definition Rapports de Recherche 333, IRIA Laboria, Le Chesnay (1978)Google Scholar
  45. [Der79]
    Deransart, Pierre: Proof of Semantic Attributes in a Lisp Compiler, The Computer Journal, Vol. 22, S. 240–245 (1979)zbMATHCrossRefGoogle Scholar
  46. [Der83]
    Deransart, Pierre: Logical Attribute Grammars, Information Processing 83, Proceedings of the IFIP Congress 1983, S. 463–469 (1983)Google Scholar
  47. [DIN80]
    DIN 66253 Tei12: Programmiersprache PEARL, Normentwurf Beuth—Verlag, Berlin (1980)Google Scholar
  48. [Dio78]
    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. [DJL84]
    Deransart, Pierre; Jourdan, Martin; Lorho, Bernard: Speeding up Circularity Tests for Attribute Grammars, Acta Informatica, Vol. 21, S. 375–391 (1984)MathSciNetzbMATHCrossRefGoogle Scholar
  50. [DJL86]
    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. [DPS77]
    Duske, J.; Parchmann, Rainer; Sedello, Manfred; Specht, J.: IO—Macrolanguages and Attributed Translations, Information and Control, Vol. 35, S. 87–105 (1977)MathSciNetCrossRefGoogle Scholar
  52. [Dre72]
    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. [DRT81]
    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. [DRZ85]
    Demers, Alan; Rogers, Anne; Zadeck, Frank Kenneth: Attribute Propagation by Message Passing, ACM SIGPLAN Notices, Vol. 20, Nr. 7, S. 43–59 (1985)CrossRefGoogle Scholar
  55. [DuH81]
    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. [DUP82]
    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)CrossRefGoogle Scholar
  57. [EFi81]
    Engelfriet, Joost; File, Gilberto: Passes and Paths of Attribute Grammars, Information and Control, Vol. 49, S. 125–169 (1981)MathSciNetzbMATHCrossRefGoogle Scholar
  58. [EF181]
    Engelfriet, Joost; File, Gilberto: Passes, Sweeps and Visits, Lecture Notes in Computer Science, Vol. 115, S. 193–207 (1981)CrossRefGoogle Scholar
  59. [EnF80]
    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)MathSciNetCrossRefGoogle Scholar
  60. [EnF81]
    Engelfriet, Joost; File, Gilberto: The Formal Power of One—Visit Attribute Grammars, Acta Informatica, Vol. 16, S. 275–302 (1981)MathSciNetzbMATHCrossRefGoogle Scholar
  61. [EnF82]
    Engelfriet, Joost; File, Gilberto: Simple Multi—Visit Attribute Grammars, Journal of Computer and System Sciences, Vol. 24, S. 283–314 (1982)MathSciNetzbMATHCrossRefGoogle Scholar
  62. [Eng84]
    Engelfriet, Joost: Attribute Evaluation Methods, Methods and Tools for Compiler Construction (ed. Lorho, Bernard), Cambridge University Press, S.103–138 (1984)Google Scholar
  63. [Fan72]
    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. [Fan73]
    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. [Far77]
    Farrow, Rodney: Attributed Grammar Models for Data Flow Analysis Dissertation, Rice University, Houston, Texas (1977)Google Scholar
  66. [Far82]
    Farrow, Rodney: Linguist-86, Yet Another Translator Writing System based on Attribute Grammars, ACM SIGPLAN Notices, Vol. 17, Nr. 6, S. 160–171 (1982)CrossRefGoogle Scholar
  67. [Far83]
    Farrow, Rodney: Attribute Grammars and Data—Flow Languages, ACM SIGPLAN Notices, Vol. 18, Nr. 6, S. 28–40 (1983)CrossRefGoogle Scholar
  68. [Far84]
    Farrow, Rodney: Sub—Protocol—Evaluators for Attribute Grammars, ACM SIGPLAN Notices, Vol. 19, Nr. 6, S. 70–80 (1984)CrossRefGoogle Scholar
  69. [Far86]
    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)CrossRefGoogle Scholar
  70. [Faw82]
    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. [Faw84]
    Farrow, Rodney: Generating a Production Compiler from an Attribute Grammar, IEEE Software, Vol. 1, Nr. 4 (1984)Google Scholar
  72. [FaY86]
    Farrow, Rodnay; Yellin, Daniel: A Comparison of Storage Optimizations in Automatically—Generated Attribute Evaluators, Acta Informatica, Vol. 23, S. 393–427 (1986)zbMATHCrossRefGoogle Scholar
  73. [Fie83]
    File, Gilberto: Theory of Attribute Grammars, Dissertation, Technische Hogeschool Twente (1983)Google Scholar
  74. [Fi183]
    File, Gilberto: Interpretation and Reduction of Attribute Grammars, Acta Informatica, Vol. 19, S. 115–150 (1983)MathSciNetzbMATHCrossRefGoogle Scholar
  75. [FrH79]
    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ä181]
    Fülöp, Z.: On Attributed Tree Transducers, Acta Cybernetica, Vol. 5, S. 261–279 (1981)zbMATHGoogle Scholar
  77. [GaF82]
    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. [GaF85]
    Ganapathi, Mahadevan; Fischer, Charles.N.: Affix Grammar Driven Code Generation, ACM Transactions on Programming Languages and Systems, Vol. 7, 5. 560–599 (1985)CrossRefGoogle Scholar
  79. [GaG84]
    Ganzinger, Harald; Giegerich, Robert: Attribute Coupled Grammars, ACM SIGPLAN NOtices, Vol. 19, Nr. 6, S. 157–170 (1984)CrossRefGoogle Scholar
  80. [Ga183]
    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. [Gan74]
    Ganzinger, Harald: Modifizierte Attributierte Grammatiken, Bericht TUM—INFO-7420, Institut für Informatik, TU München (1974)Google Scholar
  82. [Gan76]
    Ganzinger, Harald: MUG1—Manual, Bericht TUM—INFO-7608, Institut für Informatik, TU München (1976)Google Scholar
  83. [Gan78]
    Ganzinger, Harald: Optimierende Erzeugung von Ubersetzerteilen aus Formalen, Implementierungsorientierten, Schrittweise Verfeinerten Sprachbeschreibungen Dissertation, TU München (1978)Google Scholar
  84. [Gan79]
    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. [Gan80]
    Ganzinger, Harald: Transforming Denotational Semantics into Practical Attribute Grammars Lecture, Notes in Computer Science, Volk. 94, S. 1–69 (1980)Google Scholar
  86. [Gan82]
    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. [Gap81]
    Ganapathi, Mahadevan: Retargetable Code Generation and Optimization using Attibute Grammars, Technical Report 406, Computer Science Department, University of Wisconsin, Madison (1981)Google Scholar
  88. [Gaz79]
    Ganzinger, Harald: On Storage Optimization for Automatically Generated Compilers Lecture, Notes in Computer Science, Vol. 6, S. 132–141 (1979)MathSciNetCrossRefGoogle Scholar
  89. [Ger79]
    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. [Gie79]
    Giegerich, Robert: Introduction to the Compiler Generating System MUG2, Bericht TUM—INFO-7913, Institut für Informatik, TU München (1979)Google Scholar
  91. [GiW77]
    Giegerich, Robert; Wilhelm, Reinhard: Implementierbarkeit Attributierter, Grammatiken Informatik—Fachberichte, Vol. 10, S. 17–36 (1977)Google Scholar
  92. [GiW78]
    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)MathSciNetzbMATHCrossRefGoogle Scholar
  93. [GMW80]
    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. [GMW82]
    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)CrossRefGoogle Scholar
  95. [GoW83]
    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. [GRW76]
    Ganzinger, Harald; Ripken, Knut; Wilhelm, Reinhard: MUGI — An Incremental Compiler—Compiler, Proceedings of the ACM Annual Conference, 1976, S. 415–418 (1976)CrossRefGoogle Scholar
  97. [GRW77]
    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. [GSM83]
    Gyimothy, T.; Simon, E.; Makay, A.: An Implementation of the HLP, Acta Cybernetica, Vol. 6, S. 315–327 (1983)Google Scholar
  99. [GWh78]
    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. [HeS83]
    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)MathSciNetzbMATHCrossRefGoogle Scholar
  101. [HoT85]
    Horwitz, Susan; Teitelbaum, Tim: Relations and Attributes: A Symbiotic Basis for Editing Environments, ACM SIGPLAN Notices, Vol. 20, Nr. 7, S. 93–106 (1985)CrossRefGoogle Scholar
  102. [HoT86]
    Hoover, Roger; Teitelbaum, Tim: Efficient Incremental Evaluation of Aggregate Values in Attribute Grammars, ACM SIGPLAN Notices, Vol. 21, Nr. 7, S. 39–50 (1986)CrossRefGoogle Scholar
  103. [Har81]
    Hartwig, M.: Implementation einer Attribut—Grammatik in SIMULA, Vorträge der ALGOL—Tagung, Schriftenreihe des WBZMKRI, Dresden (1981)Google Scholar
  104. [Ja183]
    Jalili, Fahimed: A General Linear—Time Evaluator for Attribute Grammars, ACM SIGPLAN Notices, Vol. 18, Nr. 9, S. 35–44 (1983)CrossRefGoogle Scholar
  105. [Ja185]
    Jalili, Fahimed: A General Incremental Evaluator for Attribute Grammars, Science of Computer Programming, Vol. 5, S. 83–96 (1985)MathSciNetzbMATHCrossRefGoogle Scholar
  106. [JaP77]
    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. [JaP78]
    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. [JaP79]
    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. [JaP80]
    Jazayeri, Mehdi; Pozefsky, Diane: A Space Improvement in the Alternating Semantic Evaluator, Proceedings of the ACM Annual Conference 1980, S. 498–504 (1980)CrossRefGoogle Scholar
  110. [JaP81]
    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)zbMATHCrossRefGoogle Scholar
  111. [JaW75]
    Jazayeri, Mehdi; Walter, Kenneth G.: Alternating Semantic Evaluator, Proceedings of the ACM Annual Conference 1975, S. 230–234 (1975)Google Scholar
  112. [Jaz74]
    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. [Jaz75]
    Jazayeri, Mehdi: Live Variable Analysis, Attribute Grammars and Program Optimization Department of Computer Science, University of North Carolina, Chapel Hill (1975)Google Scholar
  114. [Jaz76]
    Jazayeri, Mehdi: Formal Specification and Automatic Programming, Proceedings of the International Conference on Software Engineering, Vol. 2, S. 293–296 (1976)Google Scholar
  115. [Jaz81]
    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)MathSciNetzbMATHCrossRefGoogle Scholar
  116. [JDe84]
    Jullig, Richard K.; De Remer, Frank: Regular Right—Part Attribute Grammars, ACM SIGPLAN Notices, Vol. 19, Nr. 6, S. 171–178 (1984)CrossRefGoogle Scholar
  117. [JMR78]
    Jespersen, P.; Madsen, Michael, Riis, Hanne: New Extended Attributed System (NEATS), Report DAIMI, Computer Science Department, Aarhus University (1978)Google Scholar
  118. [Joc81]
    Jochum, Gerhard: Automatische Konstruktion und Einheitliche Darstellung von Attributauswertungsalgorithmen, Dissertation, TU München (1981)zbMATHGoogle Scholar
  119. [Joc82]
    Jochum, Gerhard: Efficiente Attributauswertung durch Kombination Verschiedener Strategien, GI Fachgespräch über Compiler—Compiler (ed. Henhapl, W.), S.54–74 (1982)Google Scholar
  120. [Jod84]
    Jourdan, Martin: An Optimal—Time Recursive Evaluator for Attribute Grammars Lecture, Notes in Computer Science, Vol. 167, S. 167–178 (1984)MathSciNetCrossRefGoogle Scholar
  121. [JoF82]
    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. [JoF85]
    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. [JoM80]
    Jones, Neil D.; Madsen, Michael: Attribute—Influenced LR Parsing, Lecture Notes in Computer Science, Vol. 94, S. 393–407 (1980)CrossRefGoogle Scholar
  124. [Jon80]
    Jones, Neil D.: Circularity Testing of Attribute Grammars Requires Exponential Time: a Simpler Proof, Report DAIMI PB-107, Aarhus University (1980)Google Scholar
  125. [Jon84]
    Jourdan, Martin: Strongly Non—Circular Attribute Grammars and their Recursive Evaluation, ACM SIGPLAN Notices, Vol. 19, Nr. 6, S. 81–93 (1984)CrossRefGoogle Scholar
  126. [JOR75]
    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)MathSciNetzbMATHCrossRefGoogle Scholar
  127. [Jor84]
    Jourdan, Martin: Recursive Evaluator of Strongly Non—Circular Attribute Grammars, Implementierung von Programmiersprachen (ed. Ganzinger, Harald), S.83–94 (1984)Google Scholar
  128. [Jou84]
    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. [KaH81]
    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. [Kai86]
    Kaiser, Gail E.: Generation of Run—Time Environments, ACM SIGPLAN Notices, Vol. 21, Nr. 7, S. 51–57 (1986)MathSciNetCrossRefGoogle Scholar
  131. [Kam83]
    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)MathSciNetCrossRefGoogle Scholar
  132. [Kas75]
    Kastens, Uwe: Systematische Analyse Semantischer Abhängigkeiten, Informatik—Fachberichte, Vol. 1, S. 19–32 (1976)Google Scholar
  133. [Kas76]
    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. [Kas79]
    Kastens, Uwe: ALADIN — Eine Definitionssprache für Attributierte Grammatiken Bericht 7/79, Fakultät für Informatik, U Karlsruhe (1979)Google Scholar
  135. [Kas80]
    Kastens, Uwe: Ordered Attributed Grammars, Acta Informatica, Vol. 13, S. 229–256 (1980)MathSciNetzbMATHCrossRefGoogle Scholar
  136. [Kas8l]
    Kastens, Uwe: Eigenschaften von Programmiersprachen — Definiert durch Attributierte Grammatiken, Informatik—Fachberichte, Vol. 25, 5. 157–174 (1981)Google Scholar
  137. [Kas84]
    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. [Kat81]
    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)MathSciNetGoogle Scholar
  139. [Kat84]
    Katayama, Takuya: Translation of Attribute Grammars into Procedures, ACM Transactions on Programming Languages and Systems, Vol. 6, 5. 345–369 (1984)zbMATHCrossRefGoogle Scholar
  140. [KaZ80]
    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. [KAZ81]
    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. [Ker77]
    Kerutt, Helia: Programmieren in CDL2 (Einführung für ALGOL60—Kenner) Bericht 77–24, FB Informatik, TU Berlin (1977)Google Scholar
  143. [KeR79]
    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. [KeW76]
    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. [KHZ82]
    Kastens, Uwe; Hutt, Brigitte; Zimmermann, Erich: GAG: A Practical Compiler Generator, Lecture Notes in Computer Science, Vol. 141 (1982)Google Scholar
  146. [KKZ80]
    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. [KMP75]
    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. [Knu68]
    Knuth, Donald E.: Semantics of Context—Free Languages, Mathematical Systems Theory, Vol.2, S.127–145 (1968) and Vol. 5, S. 95–96 (1971)MathSciNetzbMATHGoogle Scholar
  149. [Knu71]
    Knuth, Donald E.: Examples of Formal Semantics, Lecture Notes in Mathematics, Vol. 188, S. 212–235 (1971)MathSciNetCrossRefGoogle Scholar
  150. [KoP83]
    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. [KoR83]
    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)CrossRefGoogle Scholar
  152. [Kos71]
    Koster, C.H.A.: Affix—Grammars ALGOL 68 Implementation (ed. Peck, J.E.L.), S.95–109 (1971)Google Scholar
  153. [Kos74]
    Koster, C.H.A.: Using the CDL Compiler—Compiler, Lecture Notes in Computer Science, Vol. 21, S. 366–426 (1974)CrossRefGoogle Scholar
  154. [Kos77]
    Koster, C.H.A.: CDL — A Compiler Implementation Language, Lecture Notes in Computer Science, Vol. 47, S. 341–350 (1977)MathSciNetCrossRefGoogle Scholar
  155. [Kos81]
    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. [Kos82]
    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. [Kos83]
    Koskimies, Kai: Extensions of One—Pass Attribute Grammars, Report, Department of Computer Science, University of Helsinki, Ser.A., Vol. 4 (1983)Google Scholar
  158. [Kos84]
    Koskimies, Kai: A Specification Language for One—Pass Semantic Analysis ACM SIGPLAN Notices, Vol.19, Nr.6, S.. 179–189 (1984)Google Scholar
  159. [Kro82]
    Kronauer, Karlheinz: Werkbuch einer Vergleichenden Studie über Compiler—Compiler Bericht PU1R7/82, FB Informatik, TH Darmstadt (1982)Google Scholar
  160. [KRS82]
    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. [KuS75]
    Kurki—Suonio, Reino: Towards better structured Definitions of Programming Languages Report STAN—CS-75–500, Computer Science Department, Stanford University (1975)Google Scholar
  162. [LoP75]
    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. [Lor77]
    Lorho; Bernard: Semantic Attribute Processing in the System DELTA Lecture, Notes in Computer Science, Vol. 47, S. 21–40 (1977)CrossRefGoogle Scholar
  164. [LRS74]
    Lewis, Philip M.; Rosenkrantz, Daniel J.; Stearns, Richard E.: Attributed Translations, Journal of Computer and System Sciences, Vol. 9, S. 279–307 (1974)MathSciNetzbMATHCrossRefGoogle Scholar
  165. [LRS76]
    Lewis, Philip M.; Rosenkrantz, Daniel J.; Stearns, Richard E.: Compiler Design Theory, Addison Wesley, Reading (1976)zbMATHGoogle Scholar
  166. [LVH75]
    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)CrossRefGoogle Scholar
  167. [LVH76]
    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. [LVH77]
    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. [LVH79]
    Lewi, J.; De Vlamink, K.; Huens, J.; Huybrechts, M.: A Programming Methodology in Compiler Construction North Holland, Amsterdam (1979)Google Scholar
  170. [LYH83]
    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. [Mad75]
    Madsen, Ole Lehrmann: On the Use of Attribute Grammars in a Practical Translator Writing Sysrem, Master’s Thesis, Aarhus University (1975)Google Scholar
  172. [Mad80]
    Madsen, Ole Lehrmann: On Defining Semantics by Means of Extented Attribute Grammars Lecture, Notes in Computer Science, Vol. 94, S. 259–299 (1980)CrossRefGoogle Scholar
  173. [Mak83]
    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. [Mas80]
    Madsen, C.M.: Parsing Attribute Grammars Thesis, Aarhus University (1980)Google Scholar
  175. [May81]
    Mayoh, Brian: Attribute Grammars and Mathematical Semantics SIAM, Journal on Computing, Vol. 10, S. 503–518 (1981)MathSciNetzbMATHGoogle Scholar
  176. [McE83]
    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. [Mei80]
    Meijer, Hans: An Implementation of Affix Grammars, Lecture Notes in Computer Science, Vol. 94, S. 320–349 (1980)CrossRefGoogle Scholar
  178. [MeN82]
    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. [Mer77]
    Merkle, R.C.: Evaluations for Attribute Grammars, Master’s Thesis, Computer Science Department, University of California, Berkeley (1977)Google Scholar
  180. [Mer80]
    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. [MiF79]
    Milton, D.R.; Fischer, C.N.: LL (k) Parsing for Attributed Grammars, Lecture Notes in Computer Science, Vol. 71, S. 422–430 (1979)MathSciNetCrossRefGoogle Scholar
  182. [Mi177]
    Milton, D.R.: Syntatic Specification and Analysis with Attributed Grammars Technical Report 304, Computer Science Department, University of Wisconsin, Madison (1977)Google Scholar
  183. [MKR79]
    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)CrossRefGoogle Scholar
  184. [Mös84]
    Mössenböck, Hanspeter: Ein einfacher Compiler—Compiler für Mikrocomputer, Elektronische Rechenanlagen, Vol.26, S.-186–194 (1984)Google Scholar
  185. [MWW84]
    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. [NAM75]
    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)CrossRefGoogle Scholar
  187. [NeA74]
    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. [NeA75]
    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)CrossRefGoogle Scholar
  189. [Nie81]
    Nielson, Hanne Riis: Using Computation Sequences to Define Evaluators for Attribute Grammars, Report DAIMI PB-139, Aarhus University (1981)Google Scholar
  190. [Nie83]
    Nielson, Hanne Riis: Computation Sequences: A Way to Characterize Classes of Attribute Grammars, Acta Informatica, Vol. 19, S. 255–268 (1983)MathSciNetzbMATHGoogle Scholar
  191. [Noo75]
    Noonan, Robert: Strutured Programming and Formal Specification, IEEE Transactions on Software Engineering, Vol.SE-1, 5. 421–425 (1975)Google Scholar
  192. [PaK82]
    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. [PaK86]
    Papakonstantinou, George K.; Kontos, J.: Knowledge Representation with Attribut Grammars, The Computer Journal, Vol. 29, S. 241–245 (1986)zbMATHCrossRefGoogle Scholar
  194. [PAN79]
    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)MathSciNetzbMATHCrossRefGoogle Scholar
  195. [Pap79]
    Papakonstatinou, George K.: A Poor Man’s Realization of Attribute Grammars, Software—Practice and Experience, Vol. 9, S. 719–728 (1979)CrossRefGoogle Scholar
  196. [Pap81]
    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. [Pap83]
    Papakonstantinou, George K.: A Sentence Generator Based on an Attribut Grammar, Angewandte Informatik, Vol. 8, S. 345–347 (1983)Google Scholar
  198. [Par78]
    Parchmann, Rainer: Grammatiken mit Attributschema und Zweistufige Auswertung Attributierter Grammatiken, Bericht 46, Schriften zur Informatik und Angewandten Mathematik, RWTH Aachen (1978)Google Scholar
  199. [PaS75]
    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. [PaS77]
    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. [PaS82]
    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. [Pen79]
    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. [Pen80]
    Penjam, J.: Realization of Attributive Semantics, Cybernetics, Vol. 16, S. 199–206 (1980)CrossRefGoogle Scholar
  204. [Pen83]
    Penjam, J: Synthesis of a Semantic Processor from an Attributte Grammar, Programming and Computer Software, Vol. 9, S. 29–39 (1980)Google Scholar
  205. [Pet73]
    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. [Pet77]
    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. [PeY81]
    Pen’Yam, Y.E.: Realization of Attributive Semantics, Cybernetics, Vol. 16, S. 199–206 (1981)CrossRefGoogle Scholar
  208. [PKP82]
    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. [PMP86]
    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. [Poh83]
    Pohlmann, Werner: LR Parsing for Affix Grammars, Acta Informatica, Vol. 20, S. 283–300 (1983)MathSciNetzbMATHCrossRefGoogle Scholar
  211. [Poz79]
    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. [PyB78]
    Pyster, Arthur; Buttelmann, H.William: Semantic—Syntax—Directed Translations, Information and Control, Vol. 36, S. 320–361 (1978)MathSciNetzbMATHCrossRefGoogle Scholar
  213. [Räh80]
    Räihä, Kari—Jouko: Experience with the Compiler Writing System HLP, Lecture Notes in Computer Science, Vol. 94, S. 350–362 (1980)CrossRefGoogle Scholar
  214. [Räi77]
    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äi79]
    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)CrossRefGoogle Scholar
  216. [Räi80]
    Räihä, Kari—Jouko: Bibliography on Attribute Grammars, ACM SIGPLAN Notices, Vol. 15, Nr. 3, S. 35–44 (1980)Google Scholar
  217. [Räi81]
    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äi84]
    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äS76]
    Räihä, Kari—Jouko; Saarinen, Mikko: Developments in Compiler Writing Systems, Informatik—Fachberichte, Vol. 5, 5. 164–178 (1976)Google Scholar
  220. [RäS77]
    Räihä, Kari—Jouko; Saarinen, Mikko: An Optimization of the Alternating Semantic Evaluator, Information Processing Letters, Vol. 6, Nr. 3, S. 97–100 (1977)zbMATHCrossRefGoogle Scholar
  221. [RäS82]
    Räihä, Kari—Jouko; Saarinen, Mikko: Testing Attribute Grammars for Circularity, Acta Informatica, Vol. 176, S. 185–192 (1982)CrossRefGoogle Scholar
  222. [RäT86]
    Räihä, Kari—Jouko; Tarhio, Jorma: A Globalizing Transformation for Attribute Grammars, ACM SIGPLAN Notices, Vol. 21, Nr. 7, S. 74–84 (1986)CrossRefGoogle Scholar
  223. [RäÚ79]
    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)CrossRefGoogle Scholar
  224. [RHU80]
    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. [1:61181]
    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)MathSciNetzbMATHCrossRefGoogle Scholar
  226. [Rec80]
    Rechenberg, Peter: Attributierte Grammatiken als Werkzeug der Softwaretechnik Technischer Bericht 3/80, Insttut für Informatik, TU Linz (1980)Google Scholar
  227. [ReD85]
    Reps, Thomas; Demers, Alan: Sublinear—Space Evaluation Algorithms for Attribute Grammars, ACM Transactions on Programming Languages and Systems. (1985)Google Scholar
  228. [ReM85]
    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. [Rep81]
    Reps, Thomas: The Synthesizer Editor Generator — Reference Manual, Report, Department of Computer Science, Cornell University (1981)Google Scholar
  230. [Rep82]
    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. [Rep84]
    Reps, Thomas: Generating Language—Based Environments M.I.T. Press, Cambridge (1984)Google Scholar
  232. [ReT84]
    Reps, Thomas; Teitelbaum, Tim: The Synthesizer Generator, ACM SIGPLAN Notices, Vol. 19, Nr. 5, S. 42–48 (1984)CrossRefGoogle Scholar
  233. [ReT85]
    Reps, Thomas; Teitelbaum, Tim: The Synthesizer Generator — Reference Manual, Report, Department of Computer Science, Cornell University (1985)Google Scholar
  234. [RiB82]
    Ridjanovic, Dzenan; Brodie, Michael L.: Defining Database Dynamics with Attribute Grammars, Information Processing Letters, Vol. 14, S. 132–138 (1982)CrossRefGoogle Scholar
  235. [Rii80]
    Riis, Hanne: Subclasses of Attribute Grammars, Report DAIMI—PB-114, Aarhus University (1980)Google Scholar
  236. [RiM82]
    Riis, Hanne:Madsen, Michael: The NEATS System, Report DAIMI—MD-44, Aarhus University (1982)Google Scholar
  237. [Rip77]
    Ripken, Knut: Formale Beschreibung von Maschinen, Implementierungen und Optimierender Maschinencodeerzeugung aus Attributierten Programmgraphen Dissertation, TU München (1977)Google Scholar
  238. [RiS81]
    Riis, Hanne; Skyum, Sven: K—Visit Attribute Grammars, Mathematical Systems Theory, Vol. 15, S. 17–28 (1981)MathSciNetzbMATHCrossRefGoogle Scholar
  239. [RMD83]
    Riedewald, Günter; Maluzynski, Jan; Dembinski, Piotr: Formale Beschreibung von Programmiersprachen Oldenbourg, München (1983)Google Scholar
  240. [R6h86]
    Röhrich, Johannes: Multiple Attributgrammatiken, Informatik — Forschung und Entwicklung, Vol. 1, S. 53–61 (1986)zbMATHGoogle Scholar
  241. [Row77]
    Rowland, B.R.: Combining Parsing and Evaluation for Attributed Grammars Technical Report 308, Computer Science Department, University of Wisconsin, Madison (1977)Google Scholar
  242. [RPR84]
    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. [RSS78]
    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. [RSS83]
    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. [RTD83]
    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. [Saa78]
    Saarinen, Mikko: On Constructing Efficient Evaluators for Attribute Grammars Lecture, Notes in Computer Science, Vol. 62, S. 382–397 (1978)CrossRefGoogle Scholar
  247. [Sch76]
    Schulz, Waldean A.: Semantic Analysis and Target Language Synthesis in a Translator Ph.D.Thesis, University of Colorado, Boulder (1976)Google Scholar
  248. [Sch80]
    Schmidt, Erik Meineche: Space—Restricted Attribute Grammars, Lecture Notes in Computer Science, Vol. 85, S. 436–448 (1980)CrossRefGoogle Scholar
  249. [Sch84]
    Schauer, Jacob: Einsatz von Attributierten Grammatiken für Werkzeuge in Programmierumgebungen, Implementierung von Programmiersprachen (ed. Ganzinger, Harald), 5.125–132 (1984)Google Scholar
  250. [SeC87]
    Sernadas, Christina; Carapuca, R.: The Role of Conceptual Modelling Abstractions in Compiler Development, The Computer Journal, Vol. 30, S. 328–336 (1986)CrossRefGoogle Scholar
  251. [Sii79]
    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. [S1178]
    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. [Sim77]
    Simonet, Michel: An Attribute Description of a Subset of ALGOL68, ACM SIGPLAN Notices, Vol. 12, Nr. 6, S. 129–137 (1977)CrossRefGoogle Scholar
  254. [Ske78]
    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. [Son83]
    Sonnenschein, Michael: Generierung Effizienter Compilerteile durch Attributierten Grammatik Verwandter Konzepte, Dissertation, TH Aachen (1983)Google Scholar
  256. [Son85]
    Sonnenschein, Michael: Global Storage Cells for Attributes in a Attribute Grammar, Acta Informatica, Vol. 22, S. 397–420 (1985)MathSciNetzbMATHCrossRefGoogle Scholar
  257. [STS80]
    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. [Tar82]
    Tarhio, Jorma: Attribute Evaluation During LR Parsing, Report, Department of Computer Science, University of Helsinki, Ser.A., Vol. 4 (1982)Google Scholar
  259. [Tie80]
    Tienari, Martti: On the Definition of an Attribute Grammar, Lecture Notes in Computer Science, Vol. 94, S. 408–414 (1980)CrossRefGoogle Scholar
  260. [Tie82]
    Tienari, Martti: Compiler—Compiler as a Software Product, Bericht PU1R13/82, FB Informatik, TH Darmstadt (1982)Google Scholar
  261. [Tus74]
    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. [UDP82]
    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. [VaK83]
    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)CrossRefGoogle Scholar
  264. [VoM82]
    Vooglaid, A.O.; Meriste, M.B.: Abstract Attribute Grammars, Programming and Computer Software, Vol. 8, S. 242–251 (1982)MathSciNetzbMATHGoogle Scholar
  265. [WaG84]
    Waite, William M.; Goos, Gerhard: Compiler Construction, Texts and Monographs in Computer Science, Springer, Heidelberg (1984)Google Scholar
  266. [Wai86]
    Waite, William M.: Generator for Attributed Grammars — Abstract Data Type Arbeitspapiere der GMD, Vol. 219 (1986)Google Scholar
  267. [WaM83]
    Watt, David A.; Madsen, Ole Lehrmann: Extented Attribute Grammars, The Computer Journal, Vol. 26, S. 142–149 (1983)zbMATHCrossRefGoogle Scholar
  268. [War75]
    Warren, S.K.: The Efficient Evaluation of Attribute Grammars Thesis, Rice University, Houston (1975)Google Scholar
  269. [War76]
    Warren, S.K.: The Coroutine Model of Attribute Grammar Evaluation Ph.D.Thesis, Rice University, Houston (1976)Google Scholar
  270. [Wat77]
    Watt, David A.: The Parsing Problem for Affix Grammars Acta Informatica, Vol. 8, S. 1–20 (1977)zbMATHGoogle Scholar
  271. [Wat79]
    Watt, David A.: An Extended Attribute Grammar for PASCAL, ACM SIGPLAN Notices, Vol. 14, Nr. 3, S. 60–74 (1979)CrossRefGoogle Scholar
  272. [Wat80]
    Watt, David A.: Rule Splitting and Attribute—Directed Parsing, Lecture Notes in Computer Science, Vol. 94, S. 363–392 (1980)CrossRefGoogle Scholar
  273. [Web76]
    Weber, Jürgen: Programmtransformationen mit Attributierten Transformationsgrammatiken, Bericht TUM—INFO-7604, Institut für Informatik, TU München (1976)Google Scholar
  274. [Wih74]
    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. [Wi171]
    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. [Wi172]
    Wilner, Wayne T.: Formal Semantic Definition using Synthesized and Inherited Attributes Courant, Computer Science Symposium, Vol. 2, S. 25–39 (1972)MathSciNetGoogle Scholar
  277. [Wi174]
    Wilhelm, Reinhard: Code—Optimierung mittels Attributierter Transformationsgrammatiken Lecture, Notes in Computer Science, Vol. 26, S. 257–266 (1974)MathSciNetCrossRefGoogle Scholar
  278. [Wi177]
    Wilhelm, Reinhard: Baumtransformatoren: Ein Vergleich mit Baumtransduktoren und Aspekte der Implementierung, Dissertation, TU München (1977)Google Scholar
  279. [Wil78]
    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. [Wi179]
    Wilhelm, Reinhard: Attributierte Grammatiken, Informatik—Spektrum, Vol. 2, S. 123–130 (1979)Google Scholar
  281. [Wil82]
    Wilhelm, Reinhard: LL— and LR—Attributed Grammars, Informatik—Fachberichte, Vol. 53, 5. 151–164 (1982)MathSciNetGoogle Scholar
  282. [WRC76]
    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. [Yeh83]
    Yeh, Dashing: On Incremental Evaluation of Ordered Attributed, Grammars BIT, Vol. 23, S. 308–320 (1983)zbMATHGoogle Scholar
  284. [YeM86]
    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. [Zim82]
    Zima, Hans: Compilerbau I (Analyse), Reihe Informatik, Vol. 36, Bibliograhisches Institut, Mannheim (1982)Google Scholar
  286. [Zim83]
    Zima, Hans: Compilerbau II (Synthese und Optimierung), Reihe Informatik, Vol. 37, Bibliographisches Institut, Mannheim (1983)Google Scholar

5.3. Sonstige Literatur

  1. [AhU72]
    Aho, Alfred V.; Ullman, Jeffrey D.: The Theory of Parsing, Translation and Compiling, Vol. I: Parsing Prentice—Hall, Englewood Cliffs (1972)Google Scholar
  2. [AhU73]
    Aho, Alfred V.; Ullman, Jeffrey D.: The Theory of Parsing, Translation and Compiling, Vol. II: Compiling Prentice—Hall, Englewood Cliffs (1973)Google Scholar
  3. [AHU74]
    Aho, Alfred V.; Hoperoft, John E.; Ullman, Jeffrey D.: The Design and Analysis of Computer Algorithms Addison—Wesley, Reading (1974)Google Scholar
  4. [AhU77]
    Aho, Alfred V.; Ullman, Jeffrey D.: Principles of Compiler Design Addison—Wesley, Reading (1977)Google Scholar
  5. [ChS76]
    Chandra, Ashok K.; Stockmeyer, Larry J.: Alternation, Procceedings of the Annual IEEE Symposium on Foundations of Computer Science, Vol. 17, S. 98–108 (1976)MathSciNetGoogle Scholar
  6. [DöM73]
    Dörfler, Willibald; Mühlbacher, Jörg: Graphentheorie für Informatiker, Sammlung Göschen, W. de Gruyter, Berlin (1973)CrossRefGoogle Scholar
  7. [GaJ79]
    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)zbMATHGoogle Scholar
  8. [GoT74]
    Goguen, J.A; Thatcher, J.W.: Initial Algebra Semantics, Annual Symposium on Switching and Automata Theory, Vol. 15, S. 63–77 (1974)MathSciNetCrossRefGoogle Scholar
  9. [Grä79]
    Grätzer, George: Universal Algebra, Springer, New York (1979)zbMATHGoogle Scholar
  10. [GTW77]
    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)MathSciNetzbMATHCrossRefGoogle Scholar
  11. [HSn84]
    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. [RUk81]
    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)MathSciNetzbMATHCrossRefGoogle Scholar
  13. [Sco74]
    Scott, Dana: Data Types as Lattices, Lecture Notes in Mathematics, Vol. 499, S. 579–651 (1974)CrossRefGoogle Scholar
  14. [Tar72]
    Tarjan, R.E.: Depth—First Search and Linear Graph Algorithms, SIAM Journal on Computing, Vol. 1, S. 146–160 (1972)MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  1. 1.Softlab GmbHMünchen 80Deutschland

Personalised recommendations