{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:25Z","timestamp":1725663265571},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540159759"},{"type":"electronic","value":"9783540396772"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15975-4_40","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:24:30Z","timestamp":1330176270000},"page":"238-255","source":"Crossref","is-referenced-by-count":7,"title":["$$v\\mathcal{F}\\mathcal{P}$$ : An environment for the multi-level specification, analysis, and synthesis of hardware algorithms"],"prefix":"10.1007","author":[{"given":"Dorab","family":"Patel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martine","family":"Schlag","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Milo\u0161","family":"Ercegovac","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"issue":"8","key":"15_CR1","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"John Backus, \u201cCan programming be liberated from the von Neumann style? A functional style and its algebra of programs,\u201d Communications of the ACM 21(8), pp. 613\u2013641 (August 1978). 1977 ACM Turing award lecture.","journal-title":"Communications of the ACM"},{"key":"15_CR2","unstructured":"John Backus, \u201cThe Algebra of Functional Programs: Function level Reasoning, Linear Equations, and Extended Definitions,\u201d Proceedings International Colloqium on Formalization of Programming Concepts Lecture Notes in Computer Science #107, pp. 1\u201343, Springer Verlag (1981)."},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"R. P. Brent and H. T. Kung, \u201cThe Chip Complexity of Binary Arithmetic,\u201d Proceedings 12th ACM Symposium on the Theory of Computing, pp. 190\u2013200 (May 1980).","DOI":"10.1145\/800141.804666"},{"key":"15_CR4","unstructured":"Luca Cardelli and Gordon Plotkin, \u201cAn Algebraic Approach to VLSI Design,\u201d pp. 173\u2013192 in VLSI 81 \u2014 Very Large Scale Integration First International Conference on VLSI, ed. John P. Gray (1981)."},{"issue":"7","key":"15_CR5","doi-asserted-by":"crossref","first-page":"634","DOI":"10.1109\/TCS.1981.1085036","volume":"CAS-28","author":"S. Director","year":"1981","unstructured":"S. Director, A. Parker, D. Siewiorek, and D. Thomas, \u201cA Design Methodology and Computer Aids for Digital VLSI Systems,\u201d IEEE Transactions Circuits and Systems CAS-28(7), pp. 634\u2013645 (July 1981).","journal-title":"IEEE Transactions Circuits and Systems"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"David Johannsen, \u201cBristle Blocks: A Silicon Compiler,\u201d Proceedings 16th Design Automation Conference, pp. 310\u2013313 (June 1979).","DOI":"10.1109\/DAC.1979.1600125"},{"key":"15_CR7","unstructured":"Steven Johnson, Synthesis of Digital Designs from Recursion Equations, MIT Press (1984)."},{"key":"15_CR8","unstructured":"D. O. Lahti, \u201cApplications of a Functional Programming Language,\u201d Tech. Rep. CSD-810403, UCLA Computer Science Department, Los Angeles, California, (April 1981)."},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"F. Meshkinpour and M. D. Ercegovac, \u201cA Functional Language for Description and Design of Digital Systems: Sequential Constructs,\u201d Proceedings of the 22nd Design Automation Conference, pp. 238\u2013244 (June 23\u201326, 1985).","DOI":"10.1145\/317825.317865"},{"issue":"4","key":"15_CR10","first-page":"34","volume":"II","author":"J. Ousterhout","year":"1981","unstructured":"John Ousterhout, \u201cCaesar: An Interactive Editor for VLSI Layouts,\u201d VLSI Design II(4), pp. 34\u201338 (fourth quarter 1981).","journal-title":"VLSI Design"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"J. K. Ousterhout, G. T. Hamachi, R. N. Mayo, W. S. Scott, and G. S. Taylor, \u201cMagic: A VLSI Layout System,\u201d Proceedings of the 21st Design Automation Conference, pp. 152\u2013159 (June 25\u201327, 1984).","DOI":"10.1109\/DAC.1984.1585789"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Ronald L. Rivest, \u201cThe \u2018PI\u2019 (Placement and Interconnect) System,\u201d Proceedings of the 19th Design Automation Conference, pp. 475\u2013481 (June 1982).","DOI":"10.1109\/DAC.1982.1585541"},{"key":"15_CR13","unstructured":"Martine Schlag, \u201cExtracting Geometry from FP for VLSI Layout,\u201d Tech. Rep. CSD-840043, UCLA Computer Science Department, Los Angeles, California, (October 1984)."},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Mary Sheeran, \u201cmuFP, a language for VLSI design,\u201d Proceedings of the 1984 ACM Conference on Lisp and Functional Programming, pp. 104\u2013112 (August 6\u20138, 1984).","DOI":"10.1145\/800055.802026"},{"key":"15_CR15","unstructured":"Jeffrey Mark Siskind, Jay Roger Southard, and Kenneth Walter Crouch, \u201cGenerating Custom High Performance VLSI Designs from Succinct Algorithmic Descriptions,\u201d 1982 MIT Conference on Advanced Research in VLSI, pp. 28\u201340 (January 1982)."}],"container-title":["Lecture Notes in Computer Science","Functional Programming Languages and Computer Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15975-4_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:08:55Z","timestamp":1605625735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15975-4_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540159759","9783540396772"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-15975-4_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}