{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:51:25Z","timestamp":1725612685190},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/hicss.2003.1174808","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T16:27:43Z","timestamp":1087921663000},"page":"11 pp.","source":"Crossref","is-referenced-by-count":10,"title":["Formal behavioural synthesis of Handel-C parallel hardware implementations from functional specifications"],"prefix":"10.1109","author":[{"given":"A.E.","family":"Abdallah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Hawkins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1007\/BF01211000"},{"year":"0","journal-title":"Handel-C Documentation","key":"ref11"},{"year":"1985","author":"hoare","article-title":"Communicating Sequential Processes","key":"ref12"},{"key":"ref13","article-title":"Exploiting Parallelism in Functional Languages: A Paradigm Oriented Approach","author":"rabhi","year":"1999","journal-title":"Abstract Machine Models for Highly Parallel Computers"},{"year":"1995","author":"runciman","article-title":"Functional Programming Applications","key":"ref14"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1017\/CBO9780511526626"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1007\/978-3-642-87374-4_1"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1007\/978-1-4471-0841-2_16"},{"year":"1998","author":"bird","article-title":"Introduction to Functional Programming Using Haskell","key":"ref6"},{"year":"1988","author":"bird","article-title":"Introduction to Functional Programming","key":"ref5"},{"key":"ref8","article-title":"Algorithmic Skeletons: Structured Management of Parallel Computation","author":"cole","year":"1989","journal-title":"Research Monographs in Parallel and Distributed Computing"},{"key":"ref7","article-title":"Eden - Language Definition and Operational Semantics","author":"breitinger","year":"1996","journal-title":"Technical Report 96–10 Phillips Universität Marburg"},{"key":"ref2","first-page":"911","article-title":"Synthesis of Massively Pipelined Algorithms for List Manipulation","author":"abdallah","year":"1996","journal-title":"Proceedings of the European Conference on Parallel Processing EuroPar '96 LNCS 1024"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1007\/3-540-60117-1_6"},{"key":"ref9","article-title":"Parallel Programming Using Skeleton Functions","author":"darlington","year":"0","journal-title":"Parallel Architectures and Languages Europe (PARLE'93) LNCS 694"}],"event":{"name":"36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the","start":{"date-parts":[[2003,1,9]]},"location":"Big Island, HI, USA","end":{"date-parts":[[2003,1,9]]}},"container-title":["36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8360\/26341\/01174808.pdf?arnumber=1174808","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T23:01:29Z","timestamp":1489532489000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1174808\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/hicss.2003.1174808","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}