{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:06Z","timestamp":1725663846070},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540578406"},{"type":"electronic","value":"9783540483564"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57840-4_24","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:28:16Z","timestamp":1330262896000},"page":"49-68","source":"Crossref","is-referenced-by-count":6,"title":["Hardware and software: The closing gap"],"prefix":"10.1007","author":[{"given":"C. A. R.","family":"Hoare","sequence":"first","affiliation":[]},{"given":"I.","family":"Page","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"unstructured":"C.A.R. Hoare, Mathematical Logic and Programming Languages, chapter \u2018Programs are Predicates', 141\u2013154, Prentice-Hall, 1985.","key":"4_CR1"},{"issue":"8","key":"4_CR2","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1145\/27651.27653","volume":"30","author":"C.A.R. Hoare","year":"1987","unstructured":"C.A.R. Hoare et al., \u2018Laws of programming', Comm. ACM, 30(8), 672\u2013686, (1987).","journal-title":"Comm. ACM"},{"unstructured":"A.W. Roscoe and C.A.R. Hoare, \u2018Laws of occam programming', P.R.G. Monograph, Oxford University Computing Laboratory, (1986).","key":"4_CR3"},{"key":"4_CR4","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/BF01933419","volume":"8","author":"E.W. Dijkstra","year":"1968","unstructured":"E.W. Dijkstra, \u2018A constructive approach to the problem of program correctness', BIT, 8, 174\u2013186, (1968).","journal-title":"BIT"},{"unstructured":"He Jifeng, C.A.R. Hoare, and A. Sampaio, \u2018Normal form approach to compiling specifications', Acta Informatica, (1994). to appear.","key":"4_CR5"},{"unstructured":"Ian Page and Wayne Luk, \u2018Compiling occam into FPGAs', in FPGAs, 271\u2013283, Abingdon EE&CS Books, (1991).","key":"4_CR6"},{"unstructured":"Michael Spivey and Ian Page, \u2018How to Program in Handel', Technical Report, Oxford University Computing Laboratory, (1993).","key":"4_CR7"},{"unstructured":"Ian Page, \u2018Parametrised Processor Generation', in FPGAs 93, to be published by Abingdon EE&CS Books (probably), (1993).","key":"4_CR8"},{"unstructured":"Ian Page and Wayne Luk and Henry Lau, \u2018Hardware Compilation for FPGAs: Imperative and Declarative Approaches for a Robotics Interface', in Proc. IEE Colloquium on Field-Programmable Gate Arrays \u2014 Technology and Applications, Ref. 1993\/037, pp. 9.1\u201394. IEE, (1993).","key":"4_CR9"},{"unstructured":"Xilinx, San Jose, CA 95124, The Programmable Gate Array Data Book (1993).","key":"4_CR10"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and System Architectures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57840-4_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:08:35Z","timestamp":1619572115000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57840-4_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578406","9783540483564"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-57840-4_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}