{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,7,4]],"date-time":"2023-07-04T16:54:28Z","timestamp":1688489668819},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1981,11,1]],"date-time":"1981-11-01T00:00:00Z","timestamp":373420800000},"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":[[1981,11]]},"DOI":"10.1007\/bf00289307","type":"journal-article","created":{"date-parts":[[2004,10,5]],"date-time":"2004-10-05T03:28:19Z","timestamp":1096946899000},"page":"275-302","source":"Crossref","is-referenced-by-count":37,"title":["The formal power of one-visit attribute grammars"],"prefix":"10.1007","volume":"16","author":[{"given":"Joost","family":"Engelfriet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilberto","family":"Fil\ufffd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"The theory of parsing, translation and compiling, Vols. 1 and 2","author":"A.V. Aho","year":"1972","unstructured":"Aho, A.V., Ullman, J.D.: The theory of parsing, translation and compiling, Vols. 1 and 2; Englewood Cliffs, N.J., Prentice-Hall 1972"},{"key":"CR2","unstructured":"Arnold, A.: Syst\u00e8mes d'equations dans le magmoide; ensembles rationels et alg\u00e9briques d'arbres. Th\u00e8se, Universit\u00e9 de Lille 1977"},{"key":"CR3","first-page":"5","volume":"10","author":"A. Arnold","year":"1976","unstructured":"Arnold, A., Dauchet, M.: Transductions de for\u00eats reconnaissables monadiques; for\u00eats cor\u00e9guli\u00e8res. RAIRO IT 10, 5?28 (1976)","journal-title":"RAIRO IT"},{"key":"CR4","first-page":"223","volume":"13","author":"A. Arnold","year":"1976","unstructured":"Arnold, A., Dauchet, M.: Un th\u00e9or\u00e9me de duplication pour les for\u00eats alg\u00e9briques. JCSS 13, 223?244 (1976)","journal-title":"JCSS"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/BF00289071","volume":"11","author":"P.R.J. Asveld","year":"1979","unstructured":"Asveld, P.R.J., Engelfriet, J.: Extended linear macro grammars, iteration grammars, and register programs. Acta Informat. 11, 259?285 (1979)","journal-title":"Acta Informat."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1145\/359997.359999","volume":"19","author":"G.V. Bochmann","year":"1976","unstructured":"Bochmann, G.V.: Semantic evaluation from left to right. CACM 19, 55?62 (1976)","journal-title":"CACM"},{"key":"CR7","first-page":"127","volume-title":"Proc. 17th Ann. Symp. on Foundations of Computer Science","author":"L.M. Chirica","year":"1976","unstructured":"Chirica, L.M., Martin, D.F.: An algebraic formulation of Knuthian semantics. Proc. 17th Ann. Symp. on Foundations of Computer Science, pp. 127?136, IEEE, Houston, Texas, 1976"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Courcelle, B., Franchi-Zannettacci, P.: On the expressive power of attribute grammars. Proc. of the 21st FOCS, IEEE, pp. 161?172, 1980","DOI":"10.1109\/SFCS.1980.31"},{"key":"CR9","series-title":"Report TR-16-74","volume-title":"Ph. D. Thesis","author":"P.J. Downey","year":"1974","unstructured":"Downey, P.J.: Formal languages and recursion schemes. Ph. D. Thesis, Report TR-16-74, Cambridge, Mass.: Harvard University 1974"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/S0019-9958(77)90309-6","volume":"35","author":"J. Duske","year":"1977","unstructured":"Duske, J., Parchmann, R., Sedello, M., Specht, J.: IO-macrolanguages and attributed translations. Information and Control 35, 87?105 (1977)","journal-title":"Information and Control"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/BF01704020","volume":"9","author":"J. Engelfriet","year":"1975","unstructured":"Engelfriet, J.: Bottom-up and top-down tree transformations ? a comparison. Math. Systems Theory 9, 198?231 (1975)","journal-title":"Math. Systems Theory"},{"key":"CR12","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: Formal language theory; perspectives and open problems. (R.V. Book, ed.), New York: Academic Press 1980"},{"key":"CR13","first-page":"328","volume":"15","author":"J. Engelfriet","year":"1977","unstructured":"Engelfriet, J., Meineche Schmidt, E.: IO and OI; JCSS 15, 328?353 (1977); JCSS 16, 67?99 (1978)","journal-title":"JCSS"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/S0019-9958(79)90635-1","volume":"42","author":"J. Engelfriet","year":"1979","unstructured":"Engelfriet, J., Slutzki, G.: Bounded nesting in macro grammars. Information and Control 42, 157?193 (1979)","journal-title":"Information and Control"},{"key":"CR15","unstructured":"Fischer, M.J.: Grammars with macro-like productions. Ph. D. Thesis, Harvard University 1968 (also: Proc. 9-th Symp. on SWAT, pp. 131?142, 1968)"},{"key":"CR16","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., Rounds, W.C.: The intrinsically exponential complexity of the circularity problem for attribute grammars. CACM 18, 697?706 (1975)","journal-title":"CACM"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"Kennedy, K., Warren, S.K.: Automatic generation of efficient evaluators for attribute grammars. Conf. Record of the Third Symposium on Principles of Programming Languages, pp. 32?49 (1976)","DOI":"10.1145\/800168.811538"},{"key":"CR18","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. Theory 2, 127?145 (1968). Correction: Math. Systems Theory 5, 95?96 (1971)","journal-title":"Math. Syst. Theory"},{"key":"CR19","volume-title":"Proc. IFIP Working Conf. on Algol 68 implementation","author":"C.H.A. Koster","year":"1971","unstructured":"Koster, C.H.A.: Affix grammars. Proc. IFIP Working Conf. on Algol 68 implementation; Amsterdam: North-Holland 1971"},{"key":"CR20","first-page":"279","volume":"9","author":"P.M. Lewis","year":"1974","unstructured":"Lewis, P.M., Rosenkrantz, P.J., Stearns, R.E.: Attributed translations. JCSS 9, 279?307 (1974)","journal-title":"JCSS"},{"key":"CR21","first-page":"409","volume":"8","author":"T.S.E. Maibaum","year":"1974","unstructured":"Maibaum, T.S.E.: A generalized approach to formal languages. JCSS 8, 409?439 (1974)","journal-title":"JCSS"},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"Mayoh, B.H.: Attribute grammars and mathematical semantics. Report DAIMI PB-80, Aarhus University 1978","DOI":"10.7146\/dpb.v7i90.6505"},{"key":"CR23","unstructured":"Parchmann, R.: Grammatiken mit Attributschema und Zweistufige Auswertung attributierter Grammatiken; Schriften zur Informatik und angewandte Mathematik, Bericht No. 46, Technische Hochschule Aachen 1978"},{"key":"CR24","first-page":"119","volume-title":"Record of Project MAC Conf. on concurrent systems and parallel computation","author":"M.S. Paterson","year":"1970","unstructured":"Paterson, M.S., Hewitt, C.E.: Comparative schematology. Record of Project MAC Conf. on concurrent systems and parallel computation, pp. 119?128, ACM, New York 1970"},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"Riis, H., Skyum, S.: K-visit attribute grammars; DAIMI PB-121, Aarhus University, 1980; Math. Systems Theory (in press, 1981)","DOI":"10.7146\/dpb.v9i121.6539"},{"key":"CR26","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/BF01695769","volume":"4","author":"W.C. Rounds","year":"1970","unstructured":"Rounds, W.C.: Mappings and grammars on trees. Math. Systems Theory 4, 257?287 (1970)","journal-title":"Math. Systems Theory"},{"key":"CR27","first-page":"339","volume":"4","author":"J.W. Thatcher","year":"1970","unstructured":"Thatcher, J.W.: Generalized2 sequential machine maps; JCSS 4, 339?367 (1970)","journal-title":"JCSS"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289307.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00289307\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289307","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T08:10:11Z","timestamp":1585901411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00289307"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981,11]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1981,11]]}},"alternative-id":["BF00289307"],"URL":"https:\/\/doi.org\/10.1007\/bf00289307","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1981,11]]}}}