{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:49Z","timestamp":1725662869308},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540088608"},{"type":"electronic","value":"9783540358077"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/3-540-08860-1_29","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:34:29Z","timestamp":1330187669000},"page":"382-397","source":"Crossref","is-referenced-by-count":10,"title":["On constructing efficient evaluators for attribute grammars"],"prefix":"10.1007","author":[{"given":"Mikko","family":"Saarinen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"29_CR1","volume-title":"The theory of parsing, translation and compiling, Volume 1: parsing","author":"A. V. Aho","year":"1972","unstructured":"Aho, A.V. and Ullman, J.D.: The theory of parsing, translation and compiling, Volume 1: parsing. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1972."},{"key":"29_CR2","volume-title":"DELTA: Syst\u00e8me de description de langages et traducteurs par attributs. Rapport de Recherche 20","author":"L. Blaizot","year":"1973","unstructured":"Blaizot, L.: DELTA: Syst\u00e8me de description de langages et traducteurs par attributs. Rapport de Recherche 20, IRIA Laboria, Rocquencourt, Juin 1973."},{"key":"29_CR3","first-page":"55","volume-title":"Semantic evaluation from left to right. Publication #175","author":"G. V. Bochmann","year":"1974","unstructured":"Bochmann, G.V.: Semantic evaluation from left to right. Publication #175, D\u00e9partement d'Informatique, Universit\u00e9 de Montr\u00e9al, Montr\u00e9al, May 1974. Also in CACM 19, 2 (February 1976), 55\u201362."},{"key":"29_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"\u03bb-calculus and computer science theory","year":"1975","unstructured":"B\u00f6hm, C.(ed.): \u03bb-calculus and computer science theory. Lecture Notes in Computer Science, Volume 37, Springer-Verlag, New York, 1975."},{"key":"29_CR5","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1007\/3-540-08065-1_21","volume-title":"Methods of algorithmic language implementation","author":"J. Borowiec","year":"1977","unstructured":"Borowiec, J.: Pragmatics in a compiler production system. Methods of algorithmic language implementation, A. Ershov and C.H.A. Koster (eds.), Springer-Verlag, Berlin-Heidelberg-New York, 1977, 314\u2013340."},{"key":"29_CR6","series-title":"Technical Report","volume-title":"A circularity test for interpreted grammars","author":"J. Bruno","year":"1970","unstructured":"Bruno, J. and Burkhard, W.A.: A circularity test for interpreted grammars. Technical Report 88, Computer Science Laboratory, Department of Electrical Engineering, Princeton University, Princeton, N.J., 1970."},{"key":"29_CR7","volume-title":"FOLDS, a declarative formal language definition system. STAN-CS-72-329","author":"I Fang","year":"1972","unstructured":"Fang, I: FOLDS, a declarative formal language definition system. STAN-CS-72-329, Computer Science Department, Stanford University, Stanford, California, December 1972."},{"issue":"2","key":"29_CR8","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/362896.362902","volume":"11","author":"J. A. Feldman","year":"1968","unstructured":"Feldman, J.A. and Gries, D.: Translator writing systems. CACM 11, 2 (February 1968), 77\u2013113.","journal-title":"CACM"},{"key":"29_CR9","unstructured":"Ganzinger,H.: MUG1 \u2014 Manual. Report 7608, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, Juli 1976."},{"key":"29_CR10","first-page":"535","volume-title":"Information Processing 77, Proceedings of IFIP Congress 77","author":"H. Ganzinger","year":"1977","unstructured":"Ganzinger, H., Ripken, K. and Wilhelm, R.: Automatic generation of optimizing multipass compilers. Information Processing 77, Proceedings of IFIP Congress 77, B. Gilchrist (ed.), North-Holland Publ. Co., Amsterdam-New York-Oxford, 1977, 535\u2013540."},{"key":"29_CR11","volume-title":"GI \u2014 7.Jahrestagung","author":"R. Giegerich","year":"1977","unstructured":"Giegerich, R. and Wilhelm, R.: Implementierbarkeit attributierter Grammatiken. GI \u2014 7.Jahrestagung, H.J. Schneider (ed.), Springer-Verlag, Berlin-Heidelberg-New York, 1977."},{"key":"29_CR12","volume-title":"On attribute grammars and the semantic specification of programming languages. Report 1159","author":"M. Jazayeri","year":"1974","unstructured":"Jazayeri, M.: On attribute grammars and the semantic specification of programming languages. Report 1159, Jennings Computing Center, Case Western University, Cleveland, Ohio, October 1974."},{"issue":"12","key":"29_CR13","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1145\/361227.361231","volume":"18","author":"M. Jazayeri","year":"1975","unstructured":"Jazayeri, M., Ogden, W.F. and Rounds, W.C.: The intrinsically exponential complexity of the circularity problem for attribute grammars. CACM 18, 12 (December 1975), 697\u2013706.","journal-title":"CACM"},{"key":"29_CR14","volume-title":"Algorithms for efficient evaluation of multi-pass attribute grammars without a parse tree. Report TR 77-001","author":"M. Jazayeri","year":"1977","unstructured":"Jazayeri, M. and Pozefsky, D.: Algorithms for efficient evaluation of multi-pass attribute grammars without a parse tree. Report TR 77-001, Department of Computer Science, University of North Carolina, Chapel Hill, N.C., February 1977."},{"key":"29_CR15","doi-asserted-by":"crossref","unstructured":"Jazayeri,M. and Walter,K.G.: Alternating semantic evaluator. Proceedings of the Annual Conference ACM 1975, October 1975, 230\u2013234.","DOI":"10.1145\/800181.810328"},{"key":"29_CR16","volume-title":"Ein \u00dcbersetzer-erzeugendes System auf der Basis attributierter Grammatiken. Interner Bericht 10","author":"U. Kastens","year":"1976","unstructured":"Kastens, U.: Ein \u00dcbersetzer-erzeugendes System auf der Basis attributierter Grammatiken. Interner Bericht 10, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Karlsruhe, Karlsruhe, September 1976."},{"key":"29_CR17","series-title":"Technical Report","volume-title":"A deterministic attribute grammar evaluator based on dynamic sequencing","author":"K. Kennedy","year":"1975","unstructured":"Kennedy, K. and Ramanathan, J.: A deterministic attribute grammar evaluator based on dynamic sequencing. Technical Report 476-093-12, Department of Mathematical Sciences, Rice University, Houston, Texas, October 1975."},{"key":"29_CR18","doi-asserted-by":"crossref","unstructured":"Kennedy,K. and Warren,S.K.: Automatic generation of efficient evaluators for attribute grammars. Conference Record of the Third ACM Symposium on Principles of Programming Languages, January 1976, 32\u201349.","DOI":"10.1145\/800168.811538"},{"issue":"2","key":"29_CR19","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"D. E. Knuth","year":"1968","unstructured":"Knuth, D.E.: Semantics of context-free languages. Mathematical Systems Theory 2, 2 (1968), 127\u2013145.","journal-title":"Mathematical Systems Theory"},{"issue":"1","key":"29_CR20","doi-asserted-by":"publisher","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. Mathematical Systems Theory 5, 1 (1971), 95\u201396.","journal-title":"Mathematical Systems Theory"},{"key":"29_CR21","first-page":"95","volume-title":"Algol 68 implementation","author":"C. H. A. A. Koster","year":"1971","unstructured":"Koster, C.H.A.: Affix grammars. Algol 68 implementation, J.E.L. Peck (ed.), North-Holland Publ. Co., Amsterdam-London, 1971, 95\u2013109."},{"key":"29_CR22","first-page":"218","volume-title":"Information Processing 74, Proceedings of IFIP Congress 74","author":"O. L. Lecarme","year":"1974","unstructured":"Lecarme, O.L. and Bochmann, G.V.: A (truly) usable and portable compiler writing system. Information Processing 74, Proceedings of IFIP Congress 74, J.L. Rosenfeld (ed.), North-Holland Publ. Co., Amsterdam-London, 1974, 218\u2013221."},{"key":"29_CR23","first-page":"627","volume-title":"GI \u2014 5. Jahrestagung","author":"J. Lewi","year":"1975","unstructured":"Lewi, J., DeVlaminck, K., Huens, J. and Mertens, P.: SLS\/I: a translator writing system. GI \u2014 5. Jahrestagung, J. M\u00fchlbacher (ed.), Springer-Verlag, Berlin-Heidelberg-New York, 1975, 627\u2013641."},{"key":"29_CR24","volume-title":"De la d\u00e9finition \u00e0 la traduction des langages de programmation: m\u00e9thode des attributs s\u00e9mantiques","author":"B. Lorho","year":"1974","unstructured":"Lorho, B.: De la d\u00e9finition \u00e0 la traduction des langages de programmation: m\u00e9thode des attributs s\u00e9mantiques. Th\u00e8se d'Etat, Universit\u00e9 Paul Sabatier, Toulouse, 1974."},{"key":"29_CR25","first-page":"29","volume-title":"Proving and improving programs","author":"B. Lorho","year":"1975","unstructured":"Lorho, B. and Pair, C.: Algorithms for checking consistency of attribute grammars. Proving and improving programs, G. Huet and G. Kahn (eds.), IRIA, Rocquencourt, July 1975, 29\u201354."},{"key":"29_CR26","volume-title":"A theory of programming language \u025bemantics","author":"R. Milne","year":"1976","unstructured":"Milne, R. and Strachey, C.: A theory of programming language \u025bemantics. Chapman and Hall, London, and Wiley, New York, 2 Volumes, 1976."},{"key":"29_CR27","doi-asserted-by":"crossref","unstructured":"N\u00e9el, D. and Amirchahy, M.: Semantic attributes and improvement of generated code. Proceedings of the Annual Conference ACM 1974, November 1974, 1\u201310.","DOI":"10.1145\/800182.810373"},{"key":"29_CR28","volume-title":"On attribute grammars and their use in a compiler writing system. Report A-1977-4","author":"K.-J. R\u00e4ih\u00e4","year":"1977","unstructured":"R\u00e4ih\u00e4, K.-J.: On attribute grammars and their use in a compiler writing system. Report A-1977-4, Department of Computer Science, University of Helsinki, Helsinki, August 1977."},{"key":"29_CR29","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1007\/978-3-642-95289-0_13","volume-title":"GI-6. Jahrestagung","author":"K.-J. R\u00e4ih\u00e4","year":"1976","unstructured":"R\u00e4ih\u00e4, K.-J. and Saarinen, M.: Developments in compiler writing systems. GI-6. Jahrestagung, E.J. Neuhold (ed.), Springer-Verlag, Berlin-Heidelberg-New York, 1976, 164\u2013178."},{"issue":"3","key":"29_CR30","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0020-0190(77)90036-9","volume":"6","author":"K.-J. R\u00e4ih\u00e4","year":"1977","unstructured":"R\u00e4ih\u00e4, K.-J. and Saarinen, M.: An optimization of the alternating semantic evaluator. Information Processing Letters 6, 3 (1977), 97\u2013100.","journal-title":"Information Processing Letters"},{"key":"29_CR31","volume-title":"The compiler writing system HLP (Helsinki Language Processor). Report A-1978-2","author":"K.-J. R\u00e4ih\u00e4","year":"1978","unstructured":"R\u00e4ih\u00e4, K.-J., Saarinen, M., Soisalon-Soininen, E. and Tienari, M.: The compiler writing system HLP (Helsinki Language Processor). Report A-1978-2, Department of Computer Science, University of Helsinki, Helsinki, March 1978."},{"key":"29_CR32","unstructured":"Saarinen, M.: Stack realizable attribute grammars. In preparation."},{"key":"29_CR33","volume-title":"Semantic analysis and target language synthesis in a translator","author":"W. A. Schulz","year":"1976","unstructured":"Schulz, W.A.: Semantic analysis and target language synthesis in a translator. Ph.D. Thesis, University of Colorado, Boulder, Colorado, 1976."},{"key":"29_CR34","volume-title":"The efficient evaluation of attribute grammars","author":"S. K. Warren","year":"1975","unstructured":"Warren, S.K.: The efficient evaluation of attribute grammars. M.A. Thesis, Department of Mathematical Sciences, Rice University, Houston, Texas, April 1975."},{"issue":"1","key":"29_CR35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00276181","volume":"8","author":"D. A. Watt","year":"1977","unstructured":"Watt, D.A.: The parsing problem for affix grammars. Acta Informatica 8, 1 (1977), 1\u201320.","journal-title":"Acta Informatica"},{"issue":"1","key":"29_CR36","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/356596.356598","volume":"4","author":"P. Wegner","year":"1972","unstructured":"Wegner, P.: The Vienna definition language. Computing Surveys 4, 1 (March 1972), 5\u201363.","journal-title":"Computing Surveys"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08860-1_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T11:54:38Z","timestamp":1713614078000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08860-1_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540088608","9783540358077"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/3-540-08860-1_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1978]]}}}