{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:52Z","timestamp":1725663172592},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540100034"},{"type":"electronic","value":"9783540393467"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10003-2_91","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:00:25Z","timestamp":1330189225000},"page":"449-469","source":"Crossref","is-referenced-by-count":9,"title":["A constructive approach to compiler correctness"],"prefix":"10.1007","author":[{"given":"Peter","family":"Mosses","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"38_CR1","doi-asserted-by":"crossref","unstructured":"J.A. Goguen, J.W. Thatcher, E.A. Wagner, J.B. Wright (1975) \"Initial algebra semantics and continuous algebras\", IBM Res. Rep. RC-5701, 1975. JACM 24 (1977) 68\u201385.","DOI":"10.1145\/321992.321997"},{"key":"38_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":"38_CR3","unstructured":"J.A. Goguen, J.W. Thatcher, E.A. Wagner, J.B. Wright (1976a) \"Rational algebraic theories and fixed-point solutions\", Proc. 17th IEEE Symp. on Foundations of Computing, Houston, 1976."},{"key":"38_CR4","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. RC-7588, 1979. Proc. Sixth Int. Coll. on Automata, Languages and Programming, Graz, 1979."},{"key":"38_CR5","unstructured":"Berkling, K.J. (1976) \"A symmetric complement to the lambda-calculus\", Interner Bericht ISF-76-7, GMD-Bonn, 1976."},{"key":"38_CR6","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":"38_CR7","unstructured":"Burstall, R.M. & Landin, P.J. (1969) \"Programs and their proofs: an algebraich approach\", Machine Intelligence 4, 1969."},{"key":"38_CR8","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":"38_CR9","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":"38_CR10","unstructured":"Guttag, J.V. (1975) \"The specification and application to programming of abstract data types\", Tech. Rep. CRSG-59, Toronto University, 1975."},{"key":"38_CR11","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":"38_CR12","volume-title":"A Theory of Programming Language Semantics","author":"R. W. Milne","year":"1976","unstructured":"Milne, R.W. & Strachey, C. 1976) A Theory of Programming Language Semantics, Chapman & Hall (UK), John Wiley (USA), 1976."},{"key":"38_CR13","unstructured":"Milner, R. (1979) Algebraic Concurrency, unpublished lecture notes."},{"key":"38_CR14","doi-asserted-by":"crossref","unstructured":"Morris, F.L. (1973) \"Advice on structuring compilers and proving them correct\", Proc. ACM Symp. on Principles of Programming Languages, Boston, 1973.","DOI":"10.1145\/512927.512941"},{"key":"38_CR15","doi-asserted-by":"crossref","unstructured":"Scott, D.S. (1971) \"The lattice of flow diagrams\", Tech. Mono. PRG-3, Oxford Univ., 1971. Lect. Notes in Maths. 182: Semantics of Algorithmic Languages (E. Engeler, ed.), Springer, 1971.","DOI":"10.1007\/BFb0059703"},{"key":"38_CR16","unstructured":"Scott, D.S. & Strachey, C. (1971) \"Toward a mathematical semantics for computer languages\", Tech. Mono. PRG-6, Oxford Univ., 1971. Computer and Automata (J. Fox, ed.), John Wiley, 1971."},{"key":"38_CR17","unstructured":"Stoy, J.E. (1977) Denotational Semantics, MIT Press, 1977."},{"key":"38_CR18","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":"38_CR19","unstructured":"Wand, M. (1976) \"First order identities as a defining language\", Tech. Rep. 29, Indiana University, 1976, (revised: 1977)."},{"key":"38_CR20","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":"38_CR21","unstructured":"Zilles, S.N. (1974) \"Algebraic specification of data types\", Computation Structures Group Memo 119, MIT, 1974."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10003-2_91.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:02:24Z","timestamp":1605643344000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10003-2_91"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100034","9783540393467"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-10003-2_91","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}