{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:59Z","timestamp":1725663239813},"publisher-location":"Berlin, Heidelberg","reference-count":18,"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_23","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:07:07Z","timestamp":1330189627000},"page":"189-210","source":"Crossref","is-referenced-by-count":6,"title":["A constructive approach to compiler correctness"],"prefix":"10.1007","author":[{"given":"Peter","family":"Mosses","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"6_CR1","first-page":"68","volume":"24","author":"J. A. Goguen","year":"1975","unstructured":"(1975) \"Initial algebra semantics and continuous algebras\", IBM Res. Rep. RC-5701, 1975. JACM 24 (1977) 68\u201395.","journal-title":"IBM Res. Rep. RC-5701, 1975. JACM"},{"key":"6_CR2","unstructured":"J.A. Goguen, J.W. Thatcher, E.A. Wagner, J.B. Wright (1976) \"An initial algebra approach to the specification, correctness, and implementation of abstract data types\", IBM Res. Rep. RC-6487, 1976. Current Trends in Programming Methodology IV (R. Yeh, ed.), Prentice Hall, 1979."},{"key":"6_CR3","unstructured":"J.A. Goguen, J.W. Thatcher, E.A. Wagner, J.B. Wright (1979) \"More on advice on structuring compilers and proving them correct\", IBM Res. Rep. 7588, 1979. Proc. Sixth Int. Coll. on Automata, Languages and Programming, Graz, 1979."},{"key":"6_CR4","unstructured":"Burstall. R.M. & Goguen, J.A. (1977) \"Putting theories together to make specifications\", Proc. Fifth. Int. Joint Conf. on Artificial Intelligence, Boston, 1977."},{"key":"6_CR5","unstructured":"Burstall, R.M. & Landin, P. J. (1969) \"Programs and their proofs: an algebraic approach\", Machine Intelligence 4, 1969."},{"key":"6_CR6","unstructured":"Goguen, J.A. (1978) \"Order sorted algebras: exceptions and error sorts, coercions and overloaded operators\", Semantics and Theory of Comp. Rep. 14, UCLA, 1978."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Gordon, M. J.C. (1979) The Denotational Description of Programming Languages, Springer-Verlag, 1979.","DOI":"10.1007\/978-1-4612-6228-2"},{"key":"6_CR8","unstructured":"Guttag, J.V. (1975) \"The specification and application to programming of abstract data types\", Tech. Rep. CSRG-59, Toronto University, 1975."},{"key":"6_CR9","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1090\/psapm\/019\/0242403","volume":"19","author":"J. McCarthy","year":"1967","unstructured":"McCarthy, J. & Painter, J. (1967) \"Correctness of a compiler for arithmetic expressions\", Proc. Symp. in Applied Math. 19 (1967) 33\u201341.","journal-title":"Proc. Symp. in Applied Math."},{"key":"6_CR10","unstructured":"Milne, R.E. & Strachey, C. (1976) A Theory of Programming Language Semantics, Chapman & Hall (UK), John Wiley (USA), 1976."},{"key":"6_CR11","unstructured":"Milner, R. (1979) Algebraic Concurrency, unpublished lecture notes."},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1145\/322017.322028","volume":"24","author":"J. C. Reynolds","year":"1977","unstructured":"Reynolds, J.C. (1977) \"Semantics of the domain of flow diagrams\", JACM 24 (1977) 484\u2013503.","journal-title":"JACM"},{"key":"6_CR13","unstructured":"Scott, D.S. & Strachey, C. (1971) \"Toward a mathematical semantics for computer languages\", Tech. Mono. PRG-6, Oxford University, 1971."},{"key":"6_CR14","unstructured":"Stoy, J.E. (1977) Denotational Semantics, MIT Press, 1977."},{"key":"6_CR15","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1145\/360303.360308","volume":"19","author":"R. D. Tennent","year":"1976","unstructured":"Tennent, R.D. (1976) \"The denotational semantics of programming languages\", CACM 19 (1976) 437\u2013453.","journal-title":"CACM"},{"key":"6_CR16","unstructured":"Wand, M. (1976) \"First order identities as a defining language\", Tech. Rep. 29, Indiana University, 1976 (revised: 1977)."},{"key":"6_CR17","first-page":"27","volume":"19","author":"M. Wand","year":"1977","unstructured":"(1977) \"Final algebra semantics and data type extensions\", Tech. Rep. 65, Indiana University, 1977. JCSS 19 (1979) 27\u201344.","journal-title":"JCSS"},{"key":"6_CR18","unstructured":"Zilles, S.N. (1974) \"Algebraic specification of data types\", Computation Structures Group Memo 119, MIT, 1974."}],"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_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:02:45Z","timestamp":1605643365000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10250-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540102502","9783540383390"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-10250-7_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}