{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:00Z","timestamp":1725663240261},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540102502"},{"type":"electronic","value":"9783540383390"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10250-7_25","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:07:13Z","timestamp":1330189633000},"page":"259-299","source":"Crossref","is-referenced-by-count":12,"title":["On defining semantics by means of extended attribute grammars"],"prefix":"10.1007","author":[{"given":"Ole Lehrmann","family":"Madsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"8_CR1","volume-title":"The theory of parsing, translation, and compiling. Vol 1: Parsing, 1972. Vol 2: Compiling","author":"A. V. Aho","year":"1973","unstructured":"Aho A.V., J.D. Ullman [72]: The theory of parsing, translation, and compiling. Vol 1: Parsing, 1972. Vol 2: Compiling, 1973. Englewood Cliffs (N.J.): Prentice Hall."},{"key":"8_CR2","unstructured":"Bj\u00f8rner D. [78]: The systematic development of a compiling algorithm. In: Le point sur la compilation. (M. Amirchahy, D.N\u00e9el, ed.), IRIA, 1978."},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1145\/359997.359999","volume":"19","author":"G. V. Bochmann","year":"1976","unstructured":"Bochmann G.V.[76]: Semantic evaluation from left to right. Comm. ACM 19, 55\u201362(1976).","journal-title":"Comm. ACM"},{"key":"8_CR4","unstructured":"Chirica L.M. [76]: Contributions to compiler correctness. University of California, Los Angeles, Ph. D. Thesis, October 1976."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Cohen R., E. Harry [79]: Automatic generation of near-optimal linear-time translators for non-circular attribute grammars. Conference record of the Sixth ACM Symposium on Principles of Programming Languages, San Antonio, January 1979.","DOI":"10.1145\/567752.567764"},{"key":"8_CR6","unstructured":"Engelfriet J. [74]: Tree automata and tree grammars. Computer Science Department, Aarhus University, DAIMI FN-10, 1974."},{"key":"8_CR7","volume-title":"The formal power of one-visit attribute grammars","author":"J. Engelfriet","year":"1979","unstructured":"Engelfriet J., G. Fil\u00e8 [79]: The formal power of one-visit attribute grammars. Twente University of Technology, The Netherlands, mem. no. 286, October 1979."},{"key":"8_CR8","volume-title":"An approach to the derivation of compiler descriptions from the mathematical semantic concept. GI-9. Jahrestagung, Informatik-Fachbereichte 19","author":"H. Ganzinger","year":"1979","unstructured":"Ganzinger H. [79a]: An approach to the derivation of compiler descriptions from the mathematical semantic concept. GI-9. Jahrestagung, Informatik-Fachbereichte 19, Berlin-Heidelberg-New York, Springer 1979."},{"key":"8_CR9","unstructured":"Ganzinger H. [79b]: Some principles for the development of compiler descriptions from denotational language definitions. Der Technischen Universitat Munchen, (summary), 1979."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Gerhart S.L. [76]: Proof theory of partial correctness verification systems. SIAM J. Comput., Vol 5., No. 3., September 1976.","DOI":"10.1137\/0205030"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Jazayeri, M., K.G. Walter [75]: Alternating semantic evaluation. Proceedings of the ACM Annual Conference Minneapolis, Minn., October 1975.","DOI":"10.1145\/800181.810328"},{"key":"8_CR12","unstructured":"Jespersen P., M. Madsen, H. Riis [78]: New extended attribute system (NEATS). Computer Science Department, Aarhus University, 1978."},{"issue":"1","key":"8_CR13","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1145\/357062.357072","volume":"1","author":"K. Kennedy","year":"1979","unstructured":"Kennedy K., J. Ramanathan [79]: A deterministic Attribute Grammar evaluator based on dynamic sequencing. ACM Toplas, Vol. 1, no. 1, July 1979 (142\u2013160).","journal-title":"ACM Toplas"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Kennedy K., S.K. Warren [76]: 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"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Knuth D.E. [68]: Semantics of context free languages. Math. Sys. Theory, Vol. 2, No. 2, 1968.","DOI":"10.1007\/BF01692511"},{"key":"8_CR16","first-page":"95","volume-title":"ALGOL 68 Implementation","author":"C. H. A. A. Koster","year":"1971","unstructured":"Koster C.H.A. [71]: Affix grammars. In ALGOL 68 Implementation (J.F. Peck, ed.) pp. 95\u2013109. Amsterdam: North-Holland 1971."},{"key":"8_CR17","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/S0022-0000(74)80045-0","volume":"9","author":"P. M. Lewis","year":"1974","unstructured":"Lewis P.M., D.J. Rosenkrantz, R.E. Stearns [74]: Attributed translations. J. Computer and System Sciences 9, 279\u2013307 (1974).","journal-title":"J. Computer and System Sciences"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-08065-1_2","volume-title":"Semantic attributes processing in the system DELTA. In methods of algorithmic language implementation","author":"B. Lorho","year":"1977","unstructured":"Lorho B. [77]: Semantic attributes processing in the system DELTA. In methods of algorithmic language implementation (C.H.A. Koster, ed.) pp 21\u201340, Lecture Notes in Computer Science, Vol. 47. Berlin-Heidelberg-New York: Springer 1977."},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Madsen O.L., B.B. Kristensen, J.Staunstrup [76]: Use of design criteria for intermediate languages. Computer Science Department, Aarhus University, DAIMI PB-59, August 1976.","DOI":"10.7146\/dpb.v5i59.6478"},{"key":"8_CR20","unstructured":"Madsen O.L. [79a]: An introduction to attribute grammars by examples. Computer Science Department, Aarhus University, April 1979."},{"key":"8_CR21","unstructured":"Madsen O.L. [79b]: On defining semantics by means of extended attribute grammars. Computer Science Department, Aarhus University, DAIMI IR-14, September 1979. (Revised version DAIMI PB-109, January 1980)."},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Marcotty M., H.F. Ledgard, G.V. Bochmann [76]: A sampler of formal definitions. ACM, Computing Surveys, Vol. 8, no. 2, 1976.","DOI":"10.1145\/356669.356672"},{"key":"8_CR23","unstructured":"Mayoh B.H.[76]: Verification and compilation in MSL. Computer Science Department, Aarhus University, June 1976, unpublished manuscript."},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Mayoh B.H.[78]: Attribute grammars and mathematical semantics. Computer Science Department, Aarhus University, DAIMI PB-90, August 1978.","DOI":"10.7146\/dpb.v7i90.6505"},{"key":"8_CR25","unstructured":"Mosses P. [79]: SIS \u2014 Semantics implementation system. Reference manual and user guide. Computer Science Department, Aarhus University, DAIMI MD-30, August 1979."},{"key":"8_CR26","unstructured":"Nielsen J.E.G. [75]: JQNS systemet. Et system til automatisk generering af verifiere. Computer Science Department, Aarhus University, Master thesis (in Danish), 1975."},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Riis H. [80]: Subclasses of attribute grammars. Computer Science Department, Aarhus University, Master Thesis, DAIMI PB-114, January 1980.","DOI":"10.7146\/dpb.v9i114.6532"},{"key":"8_CR28","series-title":"Lecture Notes in Computer Science","volume-title":"On constructing efficient evaluators for attribute grammars","author":"M. Saarinen","year":"1978","unstructured":"Saarinen M. [78]: On constructing efficient evaluators for attribute grammars. Automata, Languages and Programming, Fifth Colloquium, Udine, July 1978. Lecture Notes in Computer Science, Berlin-Heidelberg-New York, Springer 1978."},{"issue":"8","key":"8_CR29","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1145\/360303.360308","volume":"19","author":"R. D. Tennent","year":"1976","unstructured":"Tennent R.D. [76]: The denotational semantics of programming languages. Comm. ACM, Vol. 19, 8, 437\u2013453(1976).","journal-title":"Comm. ACM"},{"key":"8_CR30","unstructured":"Watt D.A. [74a]: Analysis oriented two-level grammars. University of Glasgow, Ph. D. Thesis, 1974."},{"key":"8_CR31","unstructured":"Watt D.A.[74b]: LR-parsing of affix-grammars. University of Glasgow, Report no. 7, 1974."},{"key":"8_CR32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00276181","volume":"8","author":"D. A. Watt","year":"1977","unstructured":"Watt D.A. [77]: The parsing problem for affix-grammars. ACTA Informatica, 8, 1\u201320(1977).","journal-title":"ACTA Informatica"},{"key":"8_CR33","doi-asserted-by":"crossref","unstructured":"Watt D.A.[79]: An extended attribute grammar for Pascal. Sigplan Notices, Vol. 14, no. 2, 1979.","DOI":"10.1145\/954063.954071"},{"key":"8_CR34","doi-asserted-by":"crossref","unstructured":"Watt D.A., O.L. Madsen [77]: Extended attribute grammars. University of Glasgow, Report no. 10, July 1977. (revised version Computer Science Department, Aarhus University, DAIMI PB-105, November 1979)","DOI":"10.7146\/dpb.v10i105.6520"},{"key":"8_CR35","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00265077","volume":"5","author":"A. Wijngaarden van","year":"1975","unstructured":"Wijngaarden A. van, B. Mailloux, J.E.L. Peck, C.H.A. Koster, M. Sintzoff, C.H. Lindsey, L.G.L.T. Meertens, R.G. Fisker [75]: Revised report on the algoritmic language ALGOL 68. ACTA Informatica, 5, 1\u2013236(1975).","journal-title":"ACTA Informatica"},{"key":"8_CR36","volume-title":"Declarative semantic definition","author":"W. Wilner","year":"1971","unstructured":"Wilner W. [72]: Declarative semantic definition. STAN-CS-233-71, Ph. D. Thesis, Stanford, California, 1971."},{"key":"8_CR37","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/BF00264291","volume":"1","author":"N. Wirth","year":"1971","unstructured":"Wirth N. [71]: The programming Language PASCAL. ACTA Informatica 1, 35\u201363(1971).","journal-title":"ACTA Informatica"}],"container-title":["Lecture Notes in Computer Science","Semantics-Directed Compiler Generation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10250-7_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T12:05:47Z","timestamp":1713614747000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10250-7_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540102502","9783540383390"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/3-540-10250-7_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}