{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T03:17:55Z","timestamp":1725765475626},"publisher-location":"London","reference-count":23,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197355"},{"type":"electronic","value":"9781447137948"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3794-8_17","type":"book-chapter","created":{"date-parts":[[2013,12,19]],"date-time":"2013-12-19T11:23:28Z","timestamp":1387452208000},"page":"255-273","source":"Crossref","is-referenced-by-count":0,"title":["More Advice on Proving a Compiler Correct: Improve a Correct Compiler"],"prefix":"10.1007","author":[{"given":"Erik","family":"Meijer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","volume-title":"implementing functional languages on a risc","author":"S Arts","year":"1990","unstructured":"Stijn Arts and Reijer Grimbergen. Taking a risc; implementing functional languages on a risc. Master\u2019s thesis, University of Nijmegen, 1990."},{"unstructured":"R.M. Burstall and P.J. Landin. Programs and their proofs: an algebraic approach. Machine Intelligence, 4, 1969.","key":"17_CR2"},{"key":"17_CR3","volume-title":"Symposium on Applied Mathematics","author":"J Mc Charthy","year":"1967","unstructured":"J Mc Charthy and J Painter. Correctness of a compiler for arithmetic expressions. In Symposium on Applied Mathematics\n                  19, 1967."},{"key":"17_CR4","volume-title":"Contributions to Compiler Correctness. PhD thesis","author":"LM Chirica","year":"1976","unstructured":"L.M Chirica. Contributions to Compiler Correctness. PhD thesis, University of California at LA, USA, 1976."},{"key":"17_CR5","volume-title":"Proc. ACM POPL91","author":"C Consel","year":"1991","unstructured":"C. Consel and O. Danvy. Static and dynamic semantics processing. In Proc. ACM POPL\u201991, 1991."},{"unstructured":"] Kyung Doh and Dave Schmidt. Extracting strong typing laws from action semantics. Technical report, Kansas State University, 1991.","key":"17_CR6"},{"unstructured":"Peter Dybjer. Using domain algebras to prove the correctness of a compiler. In LNCS 182. Springer.","key":"17_CR7"},{"unstructured":"Peter Lee. Realistic Compiler Generation. MIT press, 1990.","key":"17_CR8"},{"unstructured":"John McCarthy. Towards a mathematical science of computation. In Information Processing\n                  1962. IFIP, North-Holland, 1962.","key":"17_CR9"},{"unstructured":"Erik Meijer. A Calculational Approach to Semantics Directed Compiler Generation. PhD thesis, University of Nijmegen, Toernooiveld, Nijmegen, The Netherlands, To Appear.","key":"17_CR10"},{"key":"17_CR11","volume-title":"Meyer. Programming calculi based on fixed point transformations: semantics and applications. PhD thesis","author":"C John-Jules","year":"1985","unstructured":"John-Jules Ch. Meyer. Programming calculi based on fixed point transformations: semantics and applications. PhD thesis, Vrije Universiteit, Amsterdam, 1985."},{"unstructured":"R.E. Milne and C. Strachey. A Theory of Programming Language Semantics. Wiley, 1976. 2 volumes.","key":"17_CR12"},{"key":"17_CR13","first-page":"144","volume-title":"ACM POPL 3","author":"FL Morris","year":"1973","unstructured":"F.L. Morris. Advice on structuring compilers and proving them correct. In ACM POPL 3, pages 144\u2013152, 1973."},{"key":"17_CR14","volume-title":"D. Bj0rner, editor, Formal Description of Programming Concepts ll, pages 63-88. North-Holland","author":"PD Mosses","year":"1983","unstructured":"P.D. Mosses. Abstract semantic algebras! In D. Bj0rner, editor, Formal Description of Programming Concepts ll, pages 63\u201388. North-Holland, 1983."},{"doi-asserted-by":"crossref","unstructured":"Peter Mosses. A constructive approach to compiler correctness. In LNCS 94: Workshop on Semantics Directed Compiler Generation. Springer, 1980.","key":"17_CR15","DOI":"10.1007\/3-540-10250-7_23"},{"unstructured":"Motorola Semiconductors. m88100 Processor Manual.","key":"17_CR16"},{"key":"17_CR17","first-page":"717","volume-title":"25th ACM Anual Conference","author":"C John","year":"1972","unstructured":"John C. Reynolds. Definitional interpreters for higher order programming languages. In 25th ACM Anual Conference, pages 717\u2013740, 1972."},{"key":"17_CR18","volume-title":"Allyn and Bacon","author":"A David","year":"1986","unstructured":"David A. Schmidt. Denotational Semantics. Allyn and Bacon, 1986."},{"doi-asserted-by":"crossref","unstructured":"Peter Sestoft and Harald Sondergaard. A bibliography on partial evaluation. SIG-PLAN Notices, 23 (2), 1988.","key":"17_CR19","DOI":"10.1145\/43908.43910"},{"key":"17_CR20","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0167-6423(82)90015-6","volume":"1","author":"Ravi Sethi","year":"1982","unstructured":"Ravi Sethi. Circular expressions: Elimination of static environments. Science of Computer Programming, 1: 203\u2013222, 1982.","journal-title":"Science of Computer Programming"},{"key":"17_CR21","volume-title":"The MIT press","author":"E Joseph","year":"1977","unstructured":"Joseph E. Stoy. Denotational Semantics, The Scott-Strachey Approach to Programming Language Theory. The MIT press, 1977."},{"key":"17_CR22","volume-title":"LNCS 94: Workshop on Semantics Directed Compiler Generation. Springer","author":"JW Tatcher","year":"1980","unstructured":"J.W. Tatcher, E.0 Wagner, and J.B Wright. More advice on structuring compilers and proving them correct. In LNCS 94: Workshop on Semantics Directed Compiler Generation. Springer, 1980."},{"issue":"1","key":"17_CR23","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1002\/spe.4380160104","volume":"16","author":"DA Watt","year":"1986","unstructured":"D.A. Watt. Executable semantic descriptions. Software Practice and Experience, 16 (1): 13\u201343, 1986.","journal-title":"Software Practice and Experience"}],"container-title":["Workshops in Computing","Declarative Programming, Sasbachwalden 1991"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3794-8_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T17:23:03Z","timestamp":1558804983000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3794-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197355","9781447137948"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3794-8_17","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}