{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:53Z","timestamp":1725663233320},"publisher-location":"Berlin, Heidelberg","reference-count":33,"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_18","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:06:18Z","timestamp":1330189578000},"page":"1-69","source":"Crossref","is-referenced-by-count":5,"title":["Transforming denotational semantics into practical attribute grammars"],"prefix":"10.1007","author":[{"given":"Harald","family":"Ganzinger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K.R., de Bakker, J.W.: Semantics and proof theory of PASCAL procedures. IW 80\/77, Afdeling Informatice, Mathematisch Centrum Amsterdam, 1977.","DOI":"10.1007\/3-540-08342-1_3"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF00264319","volume":"10","author":"W. A. Babich","year":"1978","unstructured":"Babich, W.A., Jazayeri, M.: The method of attributes for data flow analysis, part I: Exhaustive Analysis. Acta Informatica 10 (1978) 245\u2013264.","journal-title":"Acta Informatica"},{"key":"1_CR3","volume-title":"Programming languages: Formal development of interpreters and compilers. ID673","author":"D. Bj\u00f8rner","year":"1977","unstructured":"Bj\u00f8rner, D.: Programming languages: Formal development of interpreters and compilers. ID673, Dep. of Comp. Science, Techn. Univ. of Denmark, Lyngby, 1977."},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Bochmann, G.V.: Semantic evaluation from left to right. Comm. ACM, 19 (1976).","DOI":"10.1145\/359997.359999"},{"key":"1_CR5","volume-title":"Formalization and automatic derivation of code generators","author":"R. R. G. G. Cattell","year":"1978","unstructured":"Cattell, R.R.G.: Formalization and automatic derivation of code generators. CMU-CS-78-115, Carnegie-Mellon Univ., Pittsburgh, 1978."},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Chirica, L.M., Martin, D.F.: An algebraic formulation of Knuthian semantics. 17th IEEE Symp. on Foundations of Comp. Science 1977, 127\u2013136.","DOI":"10.1109\/SFCS.1976.5"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximations of fixpoints. 4th ACM Conf. on Principles of Progr. Languages, 1977, 238\u2013252.","DOI":"10.1145\/512950.512973"},{"key":"1_CR8","unstructured":"Donahue, I.E.: Complementary definitions of programming language semantics. Lecture Notes in Comp. Science, 42, Springer, 1976."},{"key":"1_CR9","unstructured":"Ershow, A.P.: On the essence of compilation. In: Neuhold, E.J. (ed.): Formal description of programming languages. North-Holland, 1978."},{"key":"1_CR10","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/3-540-09118-1_15","volume":"67","author":"H. Ganzinger","year":"1979","unstructured":"Ganzinger, H.: On storage optimization for automatically generated compilers. Lecture Notes in Comp. Science 67, Springer 1979, 132\u2013141.","journal-title":"Lecture Notes in Comp. Science"},{"key":"1_CR11","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/978-3-642-67444-0_19","volume":"19","author":"H. Ganzinger","year":"1979","unstructured":"Ganzinger, H.: An approach to the derivation of compiler description concepts from the mathematical semantics concept. Workshop on Compiler-Compilers, GI Ann. Conf., Bonn, Informatik Fachberichte 19, Springer 1979, 206\u2013217.","journal-title":"Informatik Fachberichte"},{"key":"1_CR12","unstructured":"Ganzinger, H.: Some principles for the development of compiler descriptions from denotational language definitions. Techn. Univ. Muenchen, TUM-INFO-7936, 1979."},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Harrison, W.: A new strategy for code generation \u2014 the general purpose optimizing compiler. 4th ACM Symp. on Princ. of Progr. Languages, Los Angeles, 1977, 29\u201337.","DOI":"10.1145\/512950.512954"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C. A. R. R. Hoare","year":"1972","unstructured":"Hoare, C.A.R.: Proofs of correctness of data representations. Acta Informatica, 1 (1972), 271\u2013281.","journal-title":"Acta Informatica"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Jazayeri, M., Walter, K.G.: Alternating semantic evaluator, Proc. ACM Ann. Conf., 1975, 230\u2013234.","DOI":"10.1145\/800181.810328"},{"key":"1_CR16","unstructured":"Jones, C.B.: Formal Definition in Compiler Development, TR 25.145, IBM Laboratorium Wien, 1976."},{"key":"1_CR17","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. Math. Systems Theory 2, (1968), 127\u2013145.","journal-title":"Math. Systems Theory"},{"key":"1_CR18","unstructured":"Lewis II, P.M., Rosenkrantz, D.J., Stearns, R.E.: Compiler design theory, Addison-Wesley, 1976."},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Madsen, O.L.: On defining semantics by means of extended attribute grammars. Aarhus Univ., DAIMI IR-14, Internal Report, 1979.","DOI":"10.1007\/3-540-10250-7_25"},{"key":"1_CR20","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1145\/355609.362336","volume":"16","author":"Z. Manna","year":"1973","unstructured":"Manna, Z., Ness, S., Vuillemin, J.: Inductive methods for proving properties of programs. Comm. ACM 16 (1973), 491\u2013502.","journal-title":"Comm. ACM"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Maoh, B.H.: Attribute grammars and mathematical semantics, Aarhus Univ., DAIMI PB-90, 1978.","DOI":"10.7146\/dpb.v7i90.6505"},{"key":"1_CR22","volume-title":"A theory of programming language semantics","author":"R. Milne","year":"1976","unstructured":"Milne, R., Strachey, C.: A theory of programming language semantics. Chapman and Hall, London, John Wiley & Sons, New York, 1976."},{"key":"1_CR23","unstructured":"Mosses, P.D.: Mathematical semantics and compiler generation. D. Phil. thesis, Univ. of Oxford, 1975."},{"key":"1_CR24","unstructured":"Mosses, P.D.: SIS-Semantics Implementation System, Reference Manual and User Guide. Aarhus Univ., DAIMI MD-30, 1979."},{"key":"1_CR25","unstructured":"Pozefsky, D.P.: Building efficient pass-oriented attribute grammar evaluators. Univ. North Carolina at Chapel Hill, UNC TR 79-006, 1979."},{"key":"1_CR26","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, Dep. of Comp. Science, Univ. of Helsinki, Helsinki, 1977."},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"R\u00e4ih\u00e4, K.-J.: Dynamic allocation of space for attribute instances in multipass evaluators of attribute grammars. Proc. SIGPLAN Symp. on Compiler Construction, Boulder, 1979.","DOI":"10.1145\/800229.806951"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Reynolds, J.C.: Definitional interpreters for higher-order programming languages. Proc. 25th ACM Annual Conf., 1972, 717\u2013740.","DOI":"10.1145\/800194.805852"},{"key":"1_CR29","unstructured":"Ripken, K.: Formale Beschreibung von Maschinen, Implementierungen und opimierender Maschinencodeerzeugung aus attributierten Programmgraphen. Dissertation, Inst. f\u00fcr Informatik, Techn. Univ. M\u00fcnchen, 1977."},{"key":"1_CR30","unstructured":"Scott, D., Strachey, C.: Towards a mathematical semantics for computer languages. Techn. Mon. PRG-6, Oxford U. Comp. Lab., 1971."},{"key":"1_CR31","volume-title":"Denotational semantics: The Scott-Strachey approach to programming language theory","author":"J. E. Stoy","year":"1977","unstructured":"Stoy, J.E.: Denotational semantics: The Scott-Strachey approach to programming language theory. The MIT Press, Cambridge, London, 1977."},{"key":"1_CR32","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1145\/360303.360308","volume":"19","author":"R. D. Tennent","year":"1976","unstructured":"Tennent, R.D.: The denotational semantics of programming languages. Comm. ACM 19 (1976) 437\u2013453.","journal-title":"Comm. ACM"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"Vuillemin, I.: Correct and optimal implementations of recursion in a simple programming language. IRIA-Laboria Rep. 24, 1973.","DOI":"10.1145\/800125.804054"}],"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_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:02:42Z","timestamp":1605643362000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10250-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540102502","9783540383390"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-10250-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}