{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:33:29Z","timestamp":1778297609082,"version":"3.51.4"},"publisher-location":"London","reference-count":16,"publisher":"Springer London","isbn-type":[{"value":"9783540198864","type":"print"},{"value":"9781447132400","type":"electronic"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3240-0_10","type":"book-chapter","created":{"date-parts":[[2011,12,28]],"date-time":"2011-12-28T05:22:09Z","timestamp":1325049729000},"page":"188-204","source":"Crossref","is-referenced-by-count":8,"title":["Machine Code Programs are Predicates Too"],"prefix":"10.1007","author":[{"given":"Theodore S.","family":"Norvell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"[Cook 1993] Stephen A. Cook, 1993. Personal Communication."},{"issue":"2","key":"10_CR2","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1145\/69610.357988","volume":"27","author":"CR Eric","year":"1984","unstructured":"Eric C.R. Hehner. Predicative programming. Communications of the ACM, 27 (2): 134\u2013151, 1984.","journal-title":"Communications of the ACM"},{"key":"10_CR3","volume-title":"Springer-Verlag","author":"CR Eric","year":"1993","unstructured":"Eric C.R. Hehner. A Practical Theory of Programming. Springer-Verlag, 1993."},{"key":"10_CR4","volume-title":"Oxford University","author":"CAR Hoare","year":"1990","unstructured":"C.A.R. Hoare. Refinement algebra proves correctness of compiling specifications. Technical Report PRG-TR-6\u201390, Oxford University Computing Laboratory, Oxford University, 1990."},{"key":"10_CR5","volume-title":"Meeting of the Fifth Generation Project. ICOT","author":"CAR Hoare","year":"1992","unstructured":"C.A.R Hoare. Programs are predicates. In Meeting of the Fifth Generation Project. ICOT, 1992."},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"[Jones 1980] Neil D. Jones, editor. Semantics-Directed Complier Generation. Number 94 in Computer Science. Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10250-7"},{"key":"10_CR7","volume-title":"AT&T Bell Laboratories","author":"M Manasse","year":"1984","unstructured":"Mark Manasse and Greg Nelson. Correct compilation of control structures. Technical Report Technical Memorandum 11272840909\u201309TM, AT&T Bell Laboratories, 1984."},{"key":"10_CR8","volume-title":"Proceedings of Symposia in Applied Mathematics, Volume XIX","author":"J McCarthy","year":"1967","unstructured":"J. McCarthy and J. Painter. Correctness of a compiler for arithmetic expressions. In Proceedings of Symposia in Applied Mathematics, Volume XIX, 1967."},{"key":"10_CR9","unstructured":"R. E. Milne and C. Strachey, editors. A Theory of Programming Language Semantics. Chapman & Hall, London, 1974."},{"key":"10_CR10","volume-title":"Proceedings of the ACM Conferfence on Principles of Programming Languages","author":"F Lockwood Morris","year":"1973","unstructured":"F. Lockwood Morris. Advice on structuring compilers and proving them correct. In Proceedings of the ACM Conferfence on Principles of Programming Languages, 1973."},{"key":"10_CR11","first-page":"1980","volume-title":"Mosses","author":"D Peter","year":"1980","unstructured":"Peter D. Mosses. A constructive approach to complier correctness. In [Jones 1980 ]. 1980."},{"key":"10_CR12","volume-title":"Norvell. A Predicative Theory of Machine Languages and its Application to Compiler Correctness","author":"S Theodore","year":"1993","unstructured":"Theodore S. Norvell. A Predicative Theory of Machine Languages and its Application to Compiler Correctness. PhD thesis, University of Toronto, 1993."},{"key":"10_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10886-6","volume-title":"Compiler Specification and Verification. Number 124 in Lecture Notes in Computer Science","author":"Wolfgang Polak","year":"1981","unstructured":"Wolfgang Polak. Compiler Specification and Verification. Number 124 in Lecture Notes in Computer Science. Springer-Verlag, 1981. Also a Stanford Ph.D. thesis."},{"key":"10_CR14","volume-title":"An Algebraic Approach to Compiler Design","author":"Augusto Sampaio","year":"1993","unstructured":"Augusto Sampaio. An Algebraic Approach to Compiler Design. PhD thesis, Oxford University, 1993."},{"key":"10_CR15","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"Alfred Tarski","year":"1955","unstructured":"Alfred Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5: 285\u2013309, 1955.","journal-title":"Pacific Journal of Mathematics"},{"key":"10_CR16","first-page":"1980","volume-title":"Wright","author":"JW Thatcher","year":"1980","unstructured":"James W. Thatcher, Eric G. Wagner, and Jesse B. Wright. More advice on structuring compilers and proving them correct. In [Jones 1980 ]. 1980."}],"container-title":["Workshops in Computing","6th Refinement Workshop"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3240-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T21:19:16Z","timestamp":1676755156000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-3240-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198864","9781447132400"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3240-0_10","relation":{},"ISSN":["1431-1682"],"issn-type":[{"value":"1431-1682","type":"print"}],"subject":[],"published":{"date-parts":[[1994]]}}}