{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:28Z","timestamp":1725663448312},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164425"},{"type":"electronic","value":"9783540397823"}],"license":[{"start":{"date-parts":[[1986,1,1]],"date-time":"1986-01-01T00:00:00Z","timestamp":504921600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16442-1_2","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:39:56Z","timestamp":1330177196000},"page":"30-40","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Correctness of code generation from a two-level meta-language"],"prefix":"10.1007","author":[{"given":"Flemming","family":"Nielson","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Backus, J., Can Programming Be Liberated from the von Neuman Style, CACM Vol. 21 No. 8 (1978).","DOI":"10.1145\/359576.359579"},{"key":"2_CR2","unstructured":"Cardelli, L., The Functional Abstract Machine, Bell Labs Technical Report TR-107 (1983)."},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Cousot, P., and Cousot, R., Systematic Design of Program Analysis Framework, 6th POPL (1979).","DOI":"10.1145\/567752.567778"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Dybjer, P., Using Domain Algebras to Prove the Correctness of a Compiler, STACS 1985, Springer Lecture Notes in Computer Science.","DOI":"10.1007\/3-540-13345-3_13"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Gordon, M., The Denotational Description of Programming Languages, Springer Verlag (1979).","DOI":"10.1007\/978-1-4612-6228-2"},{"key":"2_CR6","unstructured":"Milne, R., and Strachey, C., A Theory of Programming Language Semantics, Chapman and Hall (1976)."},{"key":"2_CR7","unstructured":"Milner, R., An Algebraic Definition of Simulation between Programs, in: Proceedings of 2nd International Conference on Artificial Intelligence, British Comp. Soc. (1971)."},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Morris, F.L., Advice on Structuring Compilers and Proving Them Correct, POPL 1973, pp. 144\u2013152.","DOI":"10.1145\/512927.512941"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Mosses, P.D., A Constructive Approach to Compiler Correctness, ICALP 1980, Springer Lecture Notes in Computer Science.","DOI":"10.1007\/3-540-10250-7_23"},{"key":"2_CR10","unstructured":"Nielson, F., Abstract Interpretation using Domain Theory, Ph.D. thesis, University of Edinburgh (1984)."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Nielson, H.R., and Nielson, F., Pragramatic Aspects of Two-level Metalanguages, these proceedings (1986).","DOI":"10.1007\/3-540-16442-1_10"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Nielson, F., and Nielson, H.R., Code Generation from Two-level Denotational Meta-Languages, in the proceedings from \"Programs as Data Objects\", (Copenhagen 1985), Springer Lecture Notes in Computer Science.","DOI":"10.1007\/3-540-16446-4_11"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Reynolds, J., On the Relation between Direct and Continuation Semantics, ICALP 1974, Springer Lecture Notes in Computer Science, vol. 14.","DOI":"10.1007\/978-3-662-21545-6_10"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Smyth, M., and Plotkin, G.D., The Category-Theoretic Solution of Recursive Domain Equations, SIAM J. Comput., Vol. 11 No. 4 (1982).","DOI":"10.1137\/0211062"},{"key":"2_CR15","unstructured":"Tennent, R.D., Principles of Programming Languages, Prentice-Hall (1981)."},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Thatcher, J.W., and Wagner, E.G., and Wright, J.B., More on Advice on Structuring Compilers and Proving Them Correct, 6th ICALP (1979).","DOI":"10.1007\/3-540-09510-1_48"}],"container-title":["Lecture Notes in Computer Science","ESOP 86"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16442-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T13:43:07Z","timestamp":1687268587000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16442-1_2"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164425","9783540397823"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-16442-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]},"assertion":[{"value":"29 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}