{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:49:34Z","timestamp":1743130174164,"version":"3.40.3"},"publisher-location":"London","reference-count":6,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198208"},{"type":"electronic","value":"9781447132158"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"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":[[1993]]},"DOI":"10.1007\/978-1-4471-3215-8_16","type":"book-chapter","created":{"date-parts":[[2011,12,17]],"date-time":"2011-12-17T10:34:20Z","timestamp":1324118060000},"page":"178-194","source":"Crossref","is-referenced-by-count":5,"title":["Generating Netlists from Executable Circuit Specifications in a Pure Functional Language"],"prefix":"10.1007","author":[{"given":"John T.","family":"O\u2019Donnell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"16_CR1","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1145\/42192.45067","volume":"10","author":"RT Boute","year":"1988","unstructured":"R. T. Boute, \u201cSystem semantics: principles, application and implementation,\u201d, ACM Trans. Programming Languages and Systems, 10 1 (Jan. 1988) 118\u2013155.","journal-title":"Programming Languages and Systems"},{"key":"16_CR2","unstructured":"J. T. O\u2019Donnell, \u201cHardware description with recursion equations,\u201d Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications, North-Holland (April 1987) 363\u2013382."},{"key":"16_CR3","first-page":"309","volume-title":"Hardware description in a functional language using recursion equations and high order combining forms","author":"JT O\u2019Donnell","year":"1988","unstructured":"J. T. O\u2019Donnell, \u201cHydra: hardware description in a functional language using recursion equations and high order combining forms,\u201d The Fusion of Hardware Design and Verification, G. J. Milne (ed), Amsterdam: North-Holland (1988) 309\u2013328."},{"key":"16_CR4","volume-title":"A digital circuit design system","author":"JT O\u2019Donnell","year":"1989","unstructured":"J. T. O\u2019Donnell and C. V. Hall, \u201cHydra: A digital circuit design system,\u201d Report SA\/TR-4\/89, Sabbagh Associates Inc., Bloomington IN (March 1989)."},{"key":"16_CR5","unstructured":"M. Sheeran, \u201cDescribing hardware algorithms in Ruby,\u201d Declarative Sys-terns, North-Holland (1990) 289\u2013303."},{"key":"16_CR6","first-page":"206","volume-title":"Implementation of a nonstandard interpretation system","author":"S Singh","year":"1990","unstructured":"S. Singh, \u201cImplementation of a nonstandard interpretation system,\u201d Functional Programming, Glasgow\n                        1989, Workshops in Computing, Springer-Verlag (1990) 206\u2013224."}],"container-title":["Workshops in Computing","Functional Programming, Glasgow 1992"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3215-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T13:30:43Z","timestamp":1674826243000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-3215-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198208","9781447132158"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3215-8_16","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}