{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:49:38Z","timestamp":1725662978822},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164463"},{"type":"electronic","value":"9783540397861"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16446-4_11","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:42:34Z","timestamp":1330195354000},"page":"192-205","source":"Crossref","is-referenced-by-count":7,"title":["Code generation from two-level denotational meta-languages"],"prefix":"10.1007","author":[{"given":"Flemming","family":"Nielson","sequence":"first","affiliation":[]},{"given":"Hanne R.","family":"Nielson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"11_CR1","unstructured":"A.W. Appel: Semantics-directed code generation, 12. POPL, 315\u2013324 (1985)."},{"key":"11_CR2","unstructured":"L. Cardelli: The functional abstract machine, Bell Labs 1984."},{"key":"11_CR3","unstructured":"H. Ganzinger, R. Giegerich, U. M\u00f6ncke & R. Wilhelm: A truly generative semantics-directed compiler generator, SIGPLAN 82 Symposium on Compiler Construction, 172\u2013184 (1982)."},{"key":"11_CR4","unstructured":"N.D. Jones & H. Christiansen: Control flow treatment in a simple semantics directed compiler generator, in: Formal Descriptions of Programming Concepts II' IFIP TC-2 Working Conference (ed. D. Bj\u00f8rner), North Holland, Amsterdam (1982)."},{"key":"11_CR5","unstructured":"U. Kastens: The GAG-system \u2014 a tool for Compiler Construction, in: Methods and Tools for Compiler Construction (ed. B. Lorho), Cambridge University Press, 162\u2013182 (1984)."},{"key":"11_CR6","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","volume":"6","author":"P. J. Landin","year":"1964","unstructured":"P.J. Landin: The mechanical evaluation of expressions, Comput. J. 6, 308\u2013320, 1964.","journal-title":"Comput. J."},{"key":"11_CR7","unstructured":"P. Mosses: SIS-semantics implementation system: Reference manual and user guide, Aarhus University (1979)."},{"key":"11_CR8","unstructured":"F. Nielson: Abstract interpretation using domain theory, Ph.D. thesis, Edinburgh University (1984)."},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"F. Nielson: Abstract interpretation of denotational definitions. Proceedings from STACS, Springer LNCS (1986).","DOI":"10.1007\/3-540-16078-7_61"},{"key":"11_CR10","unstructured":"F. Nielson: Tensor products generalize the relational data flow analysis method, 4th Hungarian Conference on Computer Science, 1985."},{"key":"11_CR11","unstructured":"F. Nielson: Expected forms of data flow analyses, these proceedings."},{"key":"11_CR12","unstructured":"F. Nielson: Correctness of code generation from a two-level denotational meta-language, (Extended abstract-Preliminary version), Aalborg University Centre (1985)."},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"H.R. Nielson & F. Nielson: Pragmatic aspects of two-level denotational meta-languages, Aalborg University Centre (1985).","DOI":"10.1007\/3-540-16446-4_11"},{"key":"11_CR14","unstructured":"L. Paulson: Compiler generation from denotational semantics, in: Methods and Tools for Compiler Construction (ed: B. Lorho), Cambridge University Press, 219\u2013250 (1984)."},{"key":"11_CR15","unstructured":"K.J. R\u00e4ih\u00e4: Attribute grammar design using the compiler writing system HLP, in: Methods and Tools for Compiler Construction (ed: B. Lorho), Cambridge University Press, 183\u2013206 (1984)."},{"issue":"4","key":"11_CR16","doi-asserted-by":"crossref","first-page":"554","DOI":"10.1145\/69575.357227","volume":"5","author":"R. Sethi","year":"1983","unstructured":"R. Sethi: Control flow aspects of semantics directed compiling, ACM TOPLAS 5:4, 554\u2013595 (1983).","journal-title":"ACM TOPLAS"},{"issue":"4","key":"11_CR17","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1137\/0211062","volume":"11","author":"M. B. Smyth","year":"1982","unstructured":"M.B. Smyth & G.D. Plotkin: The category-theoretic solution of recursive domain equations, SIAM J. Comput. 11:4, 761\u2013783 (1982).","journal-title":"SIAM J. Comput."},{"key":"11_CR18","unstructured":"R.D. Tennent: Principles of Programming Languages, Prentice Hall (1981)."},{"issue":"3","key":"11_CR19","doi-asserted-by":"crossref","first-page":"496","DOI":"10.1145\/357172.357179","volume":"4","author":"M. Wand","year":"1982","unstructured":"M. Wand: Deriving target code as a representation continuation semantics, ACM TOPLAS 4:3, 496\u2013517 (1982).","journal-title":"ACM TOPLAS"}],"container-title":["Lecture Notes in Computer Science","Programs as Data Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16446-4_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:10:15Z","timestamp":1605643815000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16446-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164463","9783540397861"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-16446-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}