{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,30]],"date-time":"2022-12-30T19:53:12Z","timestamp":1672429992930},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2010,10,1]],"date-time":"2010-10-01T00:00:00Z","timestamp":1285891200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener. Comput."],"published-print":{"date-parts":[[2010,10]]},"DOI":"10.1007\/s00354-008-0093-1","type":"journal-article","created":{"date-parts":[[2010,11,20]],"date-time":"2010-11-20T04:26:31Z","timestamp":1290227191000},"page":"339-369","source":"Crossref","is-referenced-by-count":1,"title":["Synthesizable High Level Hardware Descriptions"],"prefix":"10.1007","volume":"28","author":[{"given":"Jennifer","family":"Gillenwater","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregory","family":"Malecha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cherif","family":"Salama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angela Yun","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walid","family":"Taha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jim","family":"Grundy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"O\u2019leary","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,11,21]]},"reference":[{"key":"93_CR1","unstructured":"Barendregt, H P., The Lambda Calculus: Its Syntax and Semantics, volume 103 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1984."},{"key":"93_CR2","unstructured":"Bluespec, Inc., Bluespec System Verilog Version 3.8 Reference Guide, 2006."},{"issue":"1","key":"93_CR3","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1017\/S0956796800000058","volume":"1","author":"C.K. Gomard","year":"1991","unstructured":"Gomard, C. K. and Jones, N. D., \u201cA partial evaluator for the untyped lambda-calculus,\u201d Journal of Functional Programming, 1, 1, pp. 21-69, 1991.","journal-title":"Journal of Functional Programming"},{"key":"93_CR4","unstructured":"IEEE Standards Board, IEEE Standard Hardware Description Language Based on the Verilog Hardware Description Language, Number 1364-1995 in IEEE Standards, IEEE, 1995."},{"key":"93_CR5","unstructured":"IEEE Standards Board, IEEE Standard Verilog Hardware Description Language, Number 1364-2001 in IEEE Standards, IEEE, 2001."},{"key":"93_CR6","unstructured":"IEEE Standards Board, IEEE Standard for System Verilog-Unified Hardware Design, Specification, and Verification Language, Number 1800-2005 in IEEE Standards, IEEE, 2005."},{"key":"93_CR7","unstructured":"IEEE Standards Board, IEEE Standard for Verilog Hardware Description Language, Number 1364-2005 in IEEE Standards, IEEE, 2005."},{"key":"93_CR8","unstructured":"IEEE Standards Board, IEEE Standard for Verilog Register Transfer Level Synthesis, Number 1364, 1-2002 (IEC 62142:2005) in IEEE Standards, IEEE, 2005."},{"key":"93_CR9","doi-asserted-by":"crossref","unstructured":"Kiselyov, O., Swadi, K and Taha, W., \u201cA methodology for generating verified combinatorial circuits\u201d in the International Workshop on Embedded Software (EMSOFT '04), LNCS, ACM, Pisa, Italy, 2004.","DOI":"10.1145\/1017753.1017794"},{"key":"93_CR10","doi-asserted-by":"crossref","unstructured":"Kohlbecker, E. E., Friedman, D. P., Felleisen, M and Duba, B., \u201cHygienic macro expansion\u201d ACM Conference on LISP and Functional Programming, pp. 151-161, 1986.","DOI":"10.1145\/319838.319859"},{"key":"93_CR11","unstructured":"Sun Microsystems, Opensparc t1 processor file: mul64.v. http:\/\/opensparc-t1.sunsource.net\/nonav\/source\/verilog\/html\/mul64.v ."},{"issue":"1","key":"93_CR12","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/0304-3975(86)90006-X","volume":"56","author":"F. Nielson","year":"1988","unstructured":"Nielson, F. and Nielson, H. R., \u201cTwo-level semantics and code generation,\u201d Theoretical Computer Science, 56, 1, pp. 59-133, 1988.","journal-title":"Theoretical Computer Science"},{"key":"93_CR13","unstructured":"Opencores.org., Or1200's 32x32 multiply for asic., http:\/\/www.opencores.org\/ cvsweb.shtml\/or1k\/or1200\/rtl\/verilog\/or1200 amultp2 32x32.v."},{"key":"93_CR14","unstructured":"Oregon Graduate Institute Technical Reports, P.O. Box 91000, Portland, OR, 97291-1000, USA, Available online from: ftp:\/\/cse.ogi.edu\/pub\/tech-reports\/README.html ."},{"key":"93_CR15","unstructured":"Taha, W., Multi-Stage Programming: Its Theory and Applications, Ph.D. thesis, Oregon Graduate Institute of Science and Technology, 1999, available from Oregon Graduate Institute Technical Reports, P.O. Box 91000, Portland, OR, 97291-1000, USA, Available online from: ftp:\/\/cse.ogi.edu\/pub\/tech-reports\/README.html ."},{"key":"93_CR16","doi-asserted-by":"crossref","unstructured":"Taha, W, Ellner, S. and Xi, H., \u201cGenerating imperative, heapbounded programs in a functional setting,\u201d in Proc. of the Third International Conference on Embedded Software, Philadelphia, PA, 2003.","DOI":"10.1007\/978-3-540-45212-6_22"},{"key":"93_CR17","doi-asserted-by":"crossref","unstructured":"Taha, W. and Johann, P., \u201cStaged notational definitions,\u201d in Generative Programming and Component Engineering (GPCE) (Czarnecki, K., Pfenning, F. and Smaragdakis, Y. eds.), LNCS, Springer-Verlag, 2003.","DOI":"10.1007\/978-3-540-39815-8_6"},{"key":"93_CR18","unstructured":"Terese, Term Rewriting Systems, Cambridge University Press, 2003."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00354-008-0093-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00354-008-0093-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00354-008-0093-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T11:48:12Z","timestamp":1559821692000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00354-008-0093-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10]]},"references-count":18,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,10]]}},"alternative-id":["93"],"URL":"https:\/\/doi.org\/10.1007\/s00354-008-0093-1","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,10]]}}}