{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T15:19:16Z","timestamp":1698074356752},"reference-count":66,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1988,5,1]],"date-time":"1988-05-01T00:00:00Z","timestamp":578448000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1988,5]]},"DOI":"10.1007\/bf02737108","type":"journal-article","created":{"date-parts":[[2007,10,30]],"date-time":"2007-10-30T23:33:24Z","timestamp":1193787204000},"page":"355-423","source":"Crossref","is-referenced-by-count":36,"title":["Composition and evaluation of attribute coupled grammars"],"prefix":"10.1007","volume":"25","author":[{"given":"Robert","family":"Giegerich","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"BF02737108_CR1","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J.A. Goguen","year":"1977","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G., Wright, J.B.: Initial algebra semantics and continuous algebras. JACM 24(1), 68\u201395 (1977)","journal-title":"JACM"},{"key":"BF02737108_CR2","first-page":"80","volume-title":"Current trends in programming methodology","author":"J.A. Goguen","year":"1978","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G., Wright, J.B.: An initial algebra approach to the specification, correctness, and implementation of abstract data types. In : Yeh, R.T. (ed.) Current trends in programming methodology, pp. 80\u2013149. Englewood Cliffs: Prentice Hall 1978"},{"key":"BF02737108_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09510-1_48","volume-title":"More on advice on structuring compilers and proving them correct","author":"J.W. Thatcher","year":"1979","unstructured":"Thatcher, J.W., Wagner, E.G., Wright, J.B.: More on advice on structuring compilers and proving them correct. Proceedings ICALP 1979. Lecture Notes in Computer Science. Vol. 71. Berlin Heidelberg New York: Springer 1979"},{"key":"BF02737108_CR4","volume-title":"The theory of parsing, translation and compiling","author":"A.V. Aho","year":"1973","unstructured":"Aho, A.V., Ullman, J.D.: The theory of parsing, translation and compiling. Englewood Cliffs: Prentice Hall 1973"},{"key":"BF02737108_CR5","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1007\/BF00264495","volume":"16","author":"H. Alblas","year":"1981","unstructured":"Alblas, H.: A characterization of attribute evaluation in passes. Acta Informatica16, pp. 427\u2013464 (1981)","journal-title":"Acta Informatica"},{"key":"BF02737108_CR6","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0304-3975(82)90003-2","volume":"17","author":"B. Courcelle","year":"1982","unstructured":"Courcelle, B., Franchi-Zannettacci, P.: Attribute grammars and recursive program schemes (Part I and II). Theor. Comput. Sci.17, 163\u2013191, 235\u2013257 (1982)","journal-title":"Theor. Comput. Sci."},{"key":"BF02737108_CR7","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/S0019-9958(82)90786-0","volume":"52","author":"B. Courcelle","year":"1982","unstructured":"Courcelle, B., Franchi-Zannettacci, P.: On the equivalence problem for attribute systems. Inf. Control52, 275\u2013305 (1982)","journal-title":"Inf. Control"},{"key":"BF02737108_CR8","unstructured":"Courcelle, B.: Attribute grammars: Definitions, analysis of dependencies, proof methods. In [Lorh84]"},{"key":"BF02737108_CR9","doi-asserted-by":"crossref","unstructured":"Davidson, J.W., Fraser, C.W.: Eliminating redundant object code. Proceedings 9th ACM POPL, Albuquerque, pp. 128\u2013132 (1982)","DOI":"10.1145\/582153.582167"},{"key":"BF02737108_CR10","unstructured":"Deransart, P. : Private communication"},{"key":"BF02737108_CR11","unstructured":"Deransart, P., Jourdan, M., Lorho, B.: A survey on attribute grammars. Part HI -classified bibliography. Report 417, INRIA (1985)"},{"key":"BF02737108_CR12","unstructured":"Deransart, P., Jourdan, M., Lorho, B. : A survey on attribute grammars. Part I -main results on attribute grammars. Report 485, INRIA (1986)"},{"key":"BF02737108_CR13","unstructured":"Deransart, P., Jourdan, M., Lorho, B. : A survey on attribute grammars. Part II -review of existing systems. Report 510, INRIA (1986)"},{"key":"BF02737108_CR14","volume-title":"An attribute grammar for semantic analysis of Ada","author":"S. Drossopoulos","year":"1982","unstructured":"Drossopoulos, S., Uhl, J., Persch, G., Goos, G., Dausmann, M., Winterstein, G.: An attribute grammar for semantic analysis of Ada. Lecture Notes in Computer Science. Vol. 139. Berlin Heidelberg New York: Springer 1982"},{"key":"BF02737108_CR15","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/BF00289307","volume":"16","author":"J. Engelfriet","year":"1981","unstructured":"Engelfriet, J., Fil\u00e8, G.: The formal power of one-visit attribute grammars. Acta Informatica16, 275\u2013302 (1981)","journal-title":"Acta Informatica"},{"key":"BF02737108_CR16","first-page":"193","volume-title":"Passes, sweeps and visits","author":"J. Engelfriet","year":"1982","unstructured":"Engelfriet, J., Fil\u00e8, G.: Passes, sweeps and visits. Proceedings 8th ICALP, Lecture Notes in Computer Science. Vol. 115, pp. 193\u2013207. Berlin Heidelberg New York: Springer 1982"},{"key":"BF02737108_CR17","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1016\/0022-0000(82)90030-7","volume":"24","author":"J. Engelfriet","year":"1982","unstructured":"Engelfriet, J., Fil\u00e8, G.: Simple multi-visit attribute grammars. J. Comput. Syst. Sci.24, 283\u2013314(1982)","journal-title":"J. Comput. Syst. Sci."},{"key":"BF02737108_CR18","volume-title":"Formal language theory: Perspectives and open problems","author":"J. Engelfriet","year":"1980","unstructured":"Engelfriet, J.: Some open questions and recent results on tree transducers and tree languages. In: Book, R. (ed.) Formal language theory: Perspectives and open problems. New York: Academic Press 1980"},{"key":"BF02737108_CR19","unstructured":"Engelfriet, J.: Tree transducers and syntax-directed semantics. Memorandum 363. University Twente (1981)"},{"key":"BF02737108_CR20","unstructured":"Engelfriet, J. : Attribute grammars : Attribute evaluation methods. In [Lorh84]"},{"key":"BF02737108_CR21","volume-title":"Technical Report","author":"R. Farrow","year":"1983","unstructured":"Farrow, R.: Covers of attribute grammars and sub-protocol attribute evaluators. Technical Report, Dept. of Computer Science, Columbia University, New York (1983)"},{"key":"BF02737108_CR22","doi-asserted-by":"crossref","unstructured":"Farrow, R. : Sub-protocol attribute evaluators for attribute grammars. Proceedings ACM SIGPLAN \u201984 Symposium on Compiler Construction. SIGPLAN Notices19, 70\u201380 (1984)","DOI":"10.1145\/502949.502881"},{"key":"BF02737108_CR23","unstructured":"Fil\u00e8, G.: Theory of attribute grammars. Dissertation, University Twente (1983)"},{"key":"BF02737108_CR24","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/S0019-9958(86)80043-2","volume":"69","author":"G. Fil\u00e8","year":"1986","unstructured":"Fil\u00e8, G.: Machines for attribute grammars. In [Fil\u00e883a]. Also in Inf. Control69, 41\u2013124 (1986)","journal-title":"In [Fil\u00e883a]. Also in Inf. Control"},{"key":"BF02737108_CR25","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BF00264472","volume":"19","author":"G. Fil\u00e8","year":"1983","unstructured":"Fil\u00e8, G.: Interpretation and reduction of attribute grammars. In [Fil\u00e883a]. Also in Acta Informatica 19, 115\u2013150 (1983)","journal-title":"Acta Informatica"},{"key":"BF02737108_CR26","first-page":"261","volume":"5","author":"Z. F\u00fcl\u00f6p","year":"1981","unstructured":"F\u00fcl\u00f6p, Z.: On attributed tree transducers. Acta Cybern.5, 261\u2013297 (1981)","journal-title":"Acta Cybern."},{"key":"BF02737108_CR27","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0167-6423(83)90021-7","volume":"3","author":"H. Ganzinger","year":"1983","unstructured":"Ganzinger, H.: Increasing modularity and language-independency in automatically generated compilers. Sci. Comput. Programming3, 223\u2013278 (1983)","journal-title":"Sci. Comput. Programming"},{"key":"BF02737108_CR28","doi-asserted-by":"crossref","unstructured":"Ganzinger, H., Giegerich, R.: Attribute coupled grammars. Proceedings ACM SIGPLAN \u201984 Symposium on Compiler Construction. SIGPLAN Notices19, 157\u2013170 (1984)","DOI":"10.1145\/502949.502890"},{"key":"BF02737108_CR29","doi-asserted-by":"crossref","unstructured":"Ganzinger, H., Giegerich, R., M\u00f6ncke, U., Wilhelm, R.: A truly generative semanticsdirected compiler generator. Proceedings ACM SIGPLAN \u201982 Symposium on Compiler Construction. SIGPLAN Notices1b7, 172\u2013184 (1982)","DOI":"10.1145\/872726.806993"},{"key":"BF02737108_CR30","unstructured":"Ganzinger, H., Giegerich, R., Vach, M. : MARVIN \u2014 A tool for applicative and modular compiler specifications. Report 220, University Dortmund (1986)"},{"key":"BF02737108_CR31","first-page":"125","volume-title":"GI6. Fachtagung, Informatik Fachberichte","author":"I Glasner","year":"1980","unstructured":"Glasner, I, M\u00f6ncke, U., Wilhelm, R.: OPTRAN, a language for the specification of program transformations. In: Hoffman, H.-J. (ed) GI6. Fachtagung, Informatik Fachberichte. Vol. 25, pp. 125\u2013142. Berlin Heidelberg New York: Springer 1980"},{"key":"BF02737108_CR32","first-page":"353","volume-title":"Automatic generation of optimizing multipass compilers","author":"H. Ganzinger","year":"1977","unstructured":"Ganzinger, H., Ripken, K., Wilhelm, R.: Automatic generation of optimizing multipass compilers. Proceedings IFIP \u201977, Toronto, Gilchrist, B. (ed.), pp. 353\u2013340. Amsterdam Oxford New York: Elsevier-North Holland 1977"},{"key":"BF02737108_CR33","volume-title":"Flow analysis of computer programs","author":"M.S. Hecht","year":"1977","unstructured":"Hecht, M.S.: Flow analysis of computer programs. Amsterdam Oxford New York: Elsevier-North Holland 1977"},{"key":"BF02737108_CR34","volume-title":"LINGUA \u2014 ein Compiler-Generator","author":"G. Heeg","year":"1980","unstructured":"Heeg, G., de Vries, E.: LINGUA \u2014 ein Compiler-Generator. Diplomarbeit, University Dortmund (1980)"},{"key":"BF02737108_CR35","unstructured":"R\u00c4ih\u00c4, K.-J., Saarinen, M., Soisalon-Soininen, E., Tienari, M.: The compiler writing system HLP (Helsinki Language Processor). Report A-1978-2, Dept. of Computer Science, University of Helsinki (1978)"},{"key":"BF02737108_CR36","volume-title":"Formal language theory: Perspectives and open problems","author":"G. Huet","year":"1980","unstructured":"Huet, G., Oppen, D.: Equations and rewrite rules: A survey. In: Book, R. (ed.) Formal language theory: Perspectives and open problems. New York: Academic Press 1980"},{"key":"BF02737108_CR37","doi-asserted-by":"crossref","unstructured":"Huet, G., Hullot, J.-M.: Proofs by induction in equational theories with constructors. Proceedings 21st Annual Symposium in Foundations of Computer Science, Lake Placid, pp. 96\u2013107 (1980)","DOI":"10.1109\/SFCS.1980.37"},{"key":"BF02737108_CR38","doi-asserted-by":"crossref","unstructured":"Jazayeri, M., Walter, K.G.: Alternating semantic evaluator. Proceedings ACM 75 Annual Conference, pp. 230\u2013234 (1975)","DOI":"10.1145\/800181.810328"},{"key":"BF02737108_CR39","unstructured":"Jochum : Automatische Konstruktion und einheitliche Darstellung von Attributauswertungsalgorithmen. Dissertation, Report TUM-INFO-8113, Technical University Munich (1981)"},{"key":"BF02737108_CR40","first-page":"679","volume":"18","author":"M. Gazayeri","year":"1975","unstructured":"Gazayeri, M., Odgen, W.F., Rounds, W.C.: The intrinsical exponential complexity of the circularity problem for attribute grammars. CACM18, 679\u2013706 (1975)","journal-title":"CACM"},{"key":"BF02737108_CR41","unstructured":"Jones, N.D., Tofte, M.: Some principles and notations for the construction of compiler generators. Unpublished working paper, DIKU, Copenhagen (1983)"},{"key":"BF02737108_CR42","doi-asserted-by":"crossref","unstructured":"Jourdan, M. : Strongly noncircular attribute grammars and their recursive evaluation. Proceedings ACM SIGPLAN \u201984 Symposium on Compiler Construction, SIGPLAN Notices19, 81\u201393 (1984)","DOI":"10.1145\/502949.502882"},{"key":"BF02737108_CR43","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/BF00288644","volume":"13","author":"U. Kastens","year":"1980","unstructured":"Kastens, U.: Ordered attribute grammars. Acta Informatica13, 229\u2013256 (1980)","journal-title":"Acta Informatica"},{"key":"BF02737108_CR44","volume-title":"GAG: A practical compiler generator","author":"U. Kastens","year":"1982","unstructured":"Kastens, U., Hutt, B., Zimmermann, E.: GAG: A practical compiler generator. Lecture Notes in Computer Science. Vol. 141. Berlin Heidelberg New York: Springer 1982"},{"issue":"2","key":"BF02737108_CR45","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D.E. Knuth","year":"1968","unstructured":"Knuth, D.E.: Semantics of context-free languages. Math. Syst. Theor. 2(2), 127\u2013145 (1968)","journal-title":"Math. Syst. Theor."},{"key":"BF02737108_CR46","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF01702865","volume":"5","author":"D.E. Knuth","year":"1971","unstructured":"Knuth, D.E.: Semantics of context-free languages: Correction. Math. Syst. Theor.5, 95\u201396(1971)","journal-title":"Math. Syst. Theor."},{"key":"BF02737108_CR47","first-page":"212","volume-title":"Examples of formal semantics","author":"D.E. Knuth","year":"1971","unstructured":"Knuth, D.E.: Examples of formal semantics. In: Engeler, E. (ed.) Symposium on Semantics of Algorithmic Languages, Lecture Notes in Mathematics, pp. 212\u2013232. Berlin Heidelberg New York: Springer 1971"},{"key":"BF02737108_CR48","doi-asserted-by":"crossref","unstructured":"Kennedy, K., Warren, S.K.: Automatic generation of efficient evaluators for attribute grammars. Proceedings 3rd ACM POPL, pp. 32\u201349 (1976)","DOI":"10.1145\/800168.811538"},{"key":"BF02737108_CR49","first-page":"218","volume-title":"A (truly) usable and portable compiler writing system","author":"O. Lecarme","year":"1974","unstructured":"Lecarme, O., Bochman, G.V.: A (truly) usable and portable compiler writing system. Proceedings IFIP \u201974, Rosenfeld, J.L. (ed.), pp. 218\u2013221. Amsterdam, Oxford, New York: North Holland 1974"},{"key":"BF02737108_CR50","first-page":"21","volume-title":"Semantic attributes processing in the system DELTA","author":"B. Lorho","year":"1977","unstructured":"Lorho, B.: Semantic attributes processing in the system DELTA. In : Ershov, A., Koster, C.H.A. (ed.) Methods of algorithmic language implementation, Lecture Notes in Computer Science. Vol. 47, pp. 21\u201340. Berlin Heidelberg New York: Springer 1977"},{"key":"BF02737108_CR51","volume-title":"Methods and tools for compiler construction","year":"1984","unstructured":"Lorho, B. (ed.): Methods and tools for compiler construction. Cambridge: Cambridge University Press 1984"},{"key":"BF02737108_CR52","first-page":"279","volume":"9","author":"P.M. Lewis","year":"1974","unstructured":"Lewis, P.M., Rosenkrantz, D.J., Stearns, R.E.: Attributed translations, JCSS9, 279\u2013307 (1974)","journal-title":"JCSS"},{"key":"BF02737108_CR53","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1145\/22899.22905","volume":"30","author":"S.A. Mamrak","year":"1987","unstructured":"Mamrak, S.A., Kaelbling, M.J, Nicholas, C.K., Share, M.: A software architecture for supporting the exchange of electronic manuscripts. CACM30, 408\u2013414 (1987)","journal-title":"CACM"},{"key":"BF02737108_CR54","doi-asserted-by":"crossref","unstructured":"Morris, F.L.: Advice on structuring compilers and proving them correct. Proceedings 1st ACM POPL, pp. 144\u2013152 (1973)","DOI":"10.1145\/512927.512941"},{"key":"BF02737108_CR55","unstructured":"Wilhelm, R., Ripken, K., Ciesinger, J., Lahner, W., Nollmann, R.D. : Design evaluation of the compiler generating system MUG1. Proceedings 2nd Int. Conference on Software Engineering, San Francisco, pp. 571\u2013576 (1976)"},{"key":"BF02737108_CR56","unstructured":"Parigot, D. : Practical transformation of strongly non-circular attribute grammars into l-ordered ones. Manuscript, INRIA (1987)"},{"key":"BF02737108_CR57","doi-asserted-by":"crossref","unstructured":"Paulson, L.: A semantics directed compiler generator. Proceedings 9th ACM POPL, Albuquerque, pp. 224\u2013233 (1982)","DOI":"10.1145\/582153.582178"},{"key":"BF02737108_CR58","doi-asserted-by":"crossref","first-page":"772","DOI":"10.1137\/0210060","volume":"10","author":"K.-J. R\u00c4ih\u00c4","year":"1981","unstructured":"R\u00c4ih\u00c4, K.-J., Ukkonen, E.: Minimizing the number of evaluation passes for attribute grammars. SIAM J. Comput.10, 772\u2013786 (1981)","journal-title":"SIAM J. Comput."},{"key":"BF02737108_CR59","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF00265558","volume":"19","author":"H. Riis-Nielson","year":"1983","unstructured":"Riis-Nielson, H.: Computation sequences : A way to characterize subclasses of attribute grammars. Acta Informatica19, 255\u2013268 (1983)","journal-title":"Acta Informatica"},{"key":"BF02737108_CR60","volume-title":"Der Farrow-Auswerter \u2014 Vorbereitung der Implementation","author":"M. Storz","year":"1985","unstructured":"Storz, M.: Der Farrow-Auswerter \u2014 Vorbereitung der Implementation. Diplomarbeit, Technical University Munich (1985)"},{"key":"BF02737108_CR61","volume-title":"MARVIN \u2014 ein Modula 2-basierter Compiler-Compiler","author":"M. Vach","year":"1985","unstructured":"Vach, M.: MARVIN \u2014 ein Modula 2-basierter Compiler-Compiler. Diplomarbeit, University Dortmund (1985)"},{"key":"BF02737108_CR62","unstructured":"Wadler, P.L. : Listlessness is better than lazyness : lazy evaluation and garbage collection at compile time. ACM Symposium on Lisp and Functional Programming, Austin (1986)"},{"key":"BF02737108_CR63","first-page":"282","volume-title":"Listlessness is better than lazyness II: Composing listless functions","author":"P.L. Wadler","year":"1984","unstructured":"Wadler, P.L.: Listlessness is better than lazyness II: Composing listless functions. In: Ganzinger, H., Jones, N.D. (ed.) Programs as data objects. Lecture Notes in Computer Science. Vol. 271, pp. 282\u2013305. Berlin Heidelberg New York: Springer 1984"},{"key":"BF02737108_CR64","first-page":"257","volume-title":"Codeoptimierung mittels attributierter Transformationsgrammatiken","author":"R. Wilhelm","year":"1974","unstructured":"Wilhelm, R.: Codeoptimierung mittels attributierter Transformationsgrammatiken. GI 4. Jahrestagung, Lecture Notes in Computer Science, pp. 257\u2013266. Berlin Heidelberg New York: Springer 1974"},{"key":"BF02737108_CR65","volume-title":"Dissertation","author":"D.M. Yellin","year":"1987","unstructured":"Yellin, D.M.: Attribute grammar inversion and source-to-source translation. Dissertation, Columbia University, New York (1987)"},{"key":"BF02737108_CR66","doi-asserted-by":"crossref","first-page":"590","DOI":"10.1109\/TSE.1986.6312955","volume":"SE-12","author":"D.M. Yellin","year":"1986","unstructured":"Yellin, D.M., Mueckstein, E.-M.: The automatic inversion of attribute grammars. IEEE Trans. Software Eng. SE-12, 590\u2013599 (1986)","journal-title":"IEEE Trans. Software Eng."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02737108.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02737108\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02737108","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T15:03:22Z","timestamp":1558451002000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02737108"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,5]]},"references-count":66,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1988,5]]}},"alternative-id":["BF02737108"],"URL":"https:\/\/doi.org\/10.1007\/bf02737108","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,5]]}}}