{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:58Z","timestamp":1725663238713},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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_19","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:06:57Z","timestamp":1330171617000},"page":"70-93","source":"Crossref","is-referenced-by-count":11,"title":["Compiler generation from denotational semantics"],"prefix":"10.1007","author":[{"given":"Neil D.","family":"Jones","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David A.","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Thatcher, J.W., Wagner, E.G., and Wright, J.B. More Advice on Structuring Compilers and Proving Them Correct, 6th Colloquium, Automata, Languages, and Programming, Graz, Austria, 1979, Springer Lecture Notes in Computer Science 71.","DOI":"10.1007\/3-540-09510-1_48"},{"key":"2_CR2","volume-title":"The Theory of Parsing, Translation, and Compiling","author":"A. V. Aho","year":"1972","unstructured":"Aho, A.V., and Ullman, J.D. The Theory of Parsing, Translation, and Compiling, Prentice-Hall, Englewood Cliffs, N.J. 1972."},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21-8","author":"J. Backus","year":"1978","unstructured":"Backus, J. Can Programming Be Liberated from the von Neumann Style? Comm. ACM 21-8, 1978, 613\u2013641.","journal-title":"Comm. ACM"},{"key":"2_CR4","unstructured":"Berkling, K.J. Reduction Languages for Reduction Machines, Rpt. ISF-76-8, Gesellschaft f\u00fcr Mathematik und Datenverarbeitung MbH, Bonn, 1976."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P., and Cousot, R. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Con-Struction or Approximation of Fixpoints, 4th ACM Symposium onPrinciples of Programming Languages, Los Angeles, 1977, 234\u2013252.","DOI":"10.1145\/512950.512973"},{"key":"2_CR6","first-page":"391","volume-title":"Formal Description of Programming Language Concepts","author":"A. P. Ershov","year":"1976","unstructured":"Ershov, A.P. On the Essence of Compilation, in Formal Description of Programming Language Concepts, E.J. Neuhold, ed., North-Holland, Amsterdam, 1976, 391\u2013420."},{"key":"2_CR7","unstructured":"Ganzinger, H. Some Principles for the Development of Compiler Descriptions from Denotational Language Definitions, Tech. Rpt., Technical University of Munich, 1979."},{"key":"2_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6228-2","volume-title":"The Denotational Description of Programming Languages","author":"M. J. C. C. Gordon","year":"1979","unstructured":"Gordon, M.J.C. The Denotational Description of Programming Languages, Springer-Verlag, Berlin, 1979."},{"key":"2_CR9","unstructured":"Kitchen, C. Compiling State Transition Machines into Machine Language, M.S. Thesis, University of Kansas, forthcoming."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"McCarthy, J. Towards a Mathematical Science of Computation, in IFIP 62, C.M. Poppelwell, ed., North-Holland, Amsterdam, 21\u201328.","DOI":"10.1007\/978-94-011-1793-7_2"},{"key":"2_CR11","volume-title":"A Theory of Programming Language Semantics","author":"R. Milne","year":"1976","unstructured":"Milne, R., and Strachey, C. A Theory of Programming Language Semantics, Chapman and Hall, London, 1976."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Morris, F.L. Advice on Structuring Compilers and Proving Them Correct, 1st ACM Symposium on Principles of Programming Languages, Boston, 1973, 144\u2013152.","DOI":"10.1145\/512927.512941"},{"key":"2_CR13","unstructured":"Mosses, P.D. Mathematical Semantics and Compiler Generation, Ph.D. Thesis, University of Oxford, 1975."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Mosses, P.D. A Constructive Approach to Compiler Correctness, DAIMI IR-16, University of Aarhus, 1979.","DOI":"10.7146\/dpb.v9i118.6536"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Raskovsky, M., and Turner, R. Compiler Generation and Denotational Semantics, Fundamentals of Computation Theory, 1979.","DOI":"10.1007\/3-540-10250-7_20"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Reynolds, J.C. Definitional Interpreters for Higher-Order Programming Languages, Proc. of the SCM National Conference, Boston, 1972, 717\u2013740.","DOI":"10.1145\/800194.805852"},{"key":"2_CR17","first-page":"141","volume-title":"On the Relation Between Direct and Continuation Semantics","author":"J. C. Reynolds","year":"1974","unstructured":"Reynolds, J.C. On the Relation Between Direct and Continuation Semantics, 2nd Colloquium on Automata, Languages, and Programming, Saarbr\u00fccken, Springer-Verlag, Berling, 1974, 141\u2013156."},{"key":"2_CR18","unstructured":"Schmidt, D.A. Compiler Generation from Lambda-Calculus Definitions of Programming Languages, Ph.D. Thesis, Kansas State University, Manhattan, Kansas, forthcoming."},{"key":"2_CR19","volume-title":"Denotational Semantics","author":"J. E. Stoy","year":"1977","unstructured":"Stoy, J.E. Denotational Semantics, MIT Press, Cambridge, Mass., 1977."}],"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_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:02:43Z","timestamp":1605625363000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10250-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540102502","9783540383390"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-10250-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}