{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:27Z","timestamp":1725663447697},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164425"},{"type":"electronic","value":"9783540397823"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16442-1_10","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:39:28Z","timestamp":1330195168000},"page":"133-143","source":"Crossref","is-referenced-by-count":5,"title":["Pragmatic aspects of two-level denotational meta-languages"],"prefix":"10.1007","author":[{"given":"Hanne R.","family":"Nielson","sequence":"first","affiliation":[]},{"given":"Flemming","family":"Nielson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"10_CR1","unstructured":"Aho, A.V. and Ullman, J.D., Principles of Compiler Design, Addison-Wesley (1977)."},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Appel, A.W., Semantics-directed code generation, 12. POPL, 315\u2013324 (1985).","DOI":"10.1145\/318593.318661"},{"issue":"8","key":"10_CR3","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. W. Backus","year":"1978","unstructured":"Backus, J.W., Can programming be liberated from the von Neumann style? A functional style and its algebra of programs, CACM 21:8, 613\u2013641 (1978).","journal-title":"CACM"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Ganzinger, H., Giegerich, R., M\u00f6ncke, U. and Wilhelm, R., A truly generative semantics-directed compiler generator, SIGPLAN 82 Symposium on Compiler Construction, 172\u2013184 (1982).","DOI":"10.1145\/872726.806993"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Jones, N.D. and Christiansen, H., Control flow treatment in a simple semantics-directed compiler generator, In: Formal description of programming concepts II, (ed. D. Bj\u00f8rner) North-Holland (1982).","DOI":"10.7146\/dpb.v10i137.7411"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Gordon, M.J.C., The denotational description of programming languages, an introduction, Springer Verlag (1979).","DOI":"10.1007\/978-1-4612-6228-2"},{"key":"10_CR7","unstructured":"Kastens, U., The GAG-system \u2014 a tool for compiler construction, In: Methods and tools for compiler construction, (ed: B. Lorho) Cambridge University Press, 165\u2013182 (1984)."},{"key":"10_CR8","unstructured":"Milne, R. and Strachey, C., A theory of programming language semantics, Halsted Press (1976)."},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Mosses, P.D., Abstract semantic algebras! In: Formal description of programming concepts II, (ed. D. Bj\u00f8rner) North-Holland (1982).","DOI":"10.7146\/dpb.v11i145.6543"},{"key":"10_CR10","unstructured":"Nielson, F., Anstract interpretation using domain theory, Ph.D. thesis, Edinburgh University (1984)."},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Nielson, F., Abstract interpretation of denotational definitions, to appear in STACS Proceedings, LNCS, Springer Verlag (1986a).","DOI":"10.1007\/3-540-16078-7_61"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Nielson, F., Correctness of code generation from a two-level meta-language, in these proceedings (1986b).","DOI":"10.1007\/3-540-16446-4_11"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Nielson, F. and Nielson, H.R., Code generation from two-level denotational meta-languages, to appear in proceedings from workshop on Programs as Data Objects (ed. H. Ganzinger, N.D. Jones), LNCS, Springer Verlag (1986).","DOI":"10.1007\/3-540-16446-4_11"},{"key":"10_CR14","unstructured":"Paulson, L., Compiler generation from denotational semantics, In: Methods and tools for compiler construction, (ed. B. Lorho) Cambridge University Press, 219\u2013250 (1984)."},{"issue":"3","key":"10_CR15","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1145\/2402.322393","volume":"30","author":"J.-C. Rault","year":"1983","unstructured":"Rault, J.-C. and Sethi, R., Properties of a notation for combining functions, JACM 30:3, 595\u2013611 (1983).","journal-title":"JACM"},{"key":"10_CR16","unstructured":"R\u00e4ih\u00e4, K.-J., 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":"10_CR17","doi-asserted-by":"crossref","first-page":"554","DOI":"10.1145\/69575.357227","volume":"5","author":"R. Sethi","year":"1983","unstructured":"Sethi, R., Control flow aspects of semantics directed compiling, ACM TOPLAS 5:4, 554\u2013595 (1983).","journal-title":"ACM TOPLAS"},{"issue":"4","key":"10_CR18","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1137\/0211062","volume":"11","author":"M. B. Smyth","year":"1982","unstructured":"Smyth, M.B. and Plotkin, G.D., The category-theoretic solution of recursive domain equations, SIAM J. Comput. 11:4, 761\u2013783 (1982).","journal-title":"SIAM J. Comput."},{"key":"10_CR19","unstructured":"Stoy J., Denotational semantics, The MIT Press (1977)."},{"key":"10_CR20","unstructured":"Tennent, R.D., Principles of programming languages, Prentice Hall (1981)."},{"issue":"3","key":"10_CR21","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1145\/357172.357179","volume":"4","author":"M. Wand","year":"1982","unstructured":"Wand, M., Deriving target code as a representation of continuation semantics, ACM TOPLAS, 4:3, 496\u2013517 (1982).","journal-title":"ACM TOPLAS"}],"container-title":["Lecture Notes in Computer Science","ESOP 86"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16442-1_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:10:02Z","timestamp":1605643802000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16442-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164425","9783540397823"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-16442-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}