{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:22:01Z","timestamp":1730222521426,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/fpt.2013.6718410","type":"proceedings-article","created":{"date-parts":[[2014,1,24]],"date-time":"2014-01-24T21:19:42Z","timestamp":1390598382000},"page":"446-449","source":"Crossref","is-referenced-by-count":3,"title":["Semantics-directed machine architecture in ReWire"],"prefix":"10.1109","author":[{"given":"Adam","family":"Procter","sequence":"first","affiliation":[]},{"given":"William L.","family":"Harrison","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Graves","sequence":"additional","affiliation":[]},{"given":"Michela","family":"Becchi","sequence":"additional","affiliation":[]},{"given":"Gerard","family":"Allwein","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34281-3_15"},{"key":"15","first-page":"243","article-title":"A trustworthy monadic formalization of the ARMv7 instruction set architecture","author":"fox","year":"2010","journal-title":"Proc 1st Int Conf on Inter Thm Prov"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"journal-title":"A Finer Functional Fibonacci on A Fast Fpga","year":"0","author":"edwards","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1594834.1480929"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.819898"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2006.134"},{"journal-title":"Haskell 98 Language and Libraries The Revised Report","year":"2003","author":"peyton jones","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/800216.806586"},{"journal-title":"PicoBlaze 8-bit embedded microcontroller user guide","year":"2011","key":"1"},{"key":"10","first-page":"495","article-title":"Higherorder abstraction in hardware descriptions with c?ash","author":"gerards","year":"2011","journal-title":"Proc of the 14th EUROMICRO Conf on Dig Sys Des"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199528"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"journal-title":"Partial Evaluation and Automatic Program Generation","year":"1993","author":"jones","key":"5"},{"journal-title":"Semantics-directed Machine Architecture in ReWire Code Repository","year":"0","key":"4"},{"key":"9","article-title":"Introducing kansas lava","volume":"6041","author":"gill","year":"2009","journal-title":"Proc of the Symp on Imp and App of Func Lang Ser LNCS"},{"key":"8","first-page":"174","author":"bjesse","year":"1998","journal-title":"Lava Hardware Design in Haskell"}],"event":{"name":"2013 International Conference on Field-Programmable Technology (FPT)","start":{"date-parts":[[2013,12,9]]},"location":"Kyoto, Japan","end":{"date-parts":[[2013,12,11]]}},"container-title":["2013 International Conference on Field-Programmable Technology (FPT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6712172\/6718311\/06718410.pdf?arnumber=6718410","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T00:06:35Z","timestamp":1490227595000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6718410\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/fpt.2013.6718410","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}