{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:13Z","timestamp":1772164033169,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,9,19]],"date-time":"2011-09-19T00:00:00Z","timestamp":1316390400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,9,19]]},"DOI":"10.1145\/2034773.2034805","type":"proceedings-article","created":{"date-parts":[[2011,9,20]],"date-time":"2011-09-20T09:50:16Z","timestamp":1316512216000},"page":"221-233","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Geometry of synthesis iv"],"prefix":"10.1145","author":[{"given":"Dan R.","family":"Ghica","sequence":"first","affiliation":[{"name":"University of Birmingham, Birmingham, United Kingdom"}]},{"given":"Alex","family":"Smith","sequence":"additional","affiliation":[{"name":"University of Birmingham, Birmingham, United Kingdom"}]},{"given":"Satnam","family":"Singh","sequence":"additional","affiliation":[{"name":"Microsoft Research, Cambridge, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2011,9,19]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.02.047"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.11.014"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1992.185534"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1468075.1468121"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-97-00856-9"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289440"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/795657.795802"},{"key":"e_1_3_2_2_8_1","volume-title":"Ljubljana","author":"Escardo Martin H.","year":"2009","unstructured":"Martin H. Escardo . Computing with real numbers represented as infinite sequences of digits in haskell. In Computability and complexity analysis , Ljubljana , Slovenia , 2009 . (code available at the author's web page). Martin H. Escardo. Computing with real numbers represented as infinite sequences of digits in haskell. In Computability and complexity analysis, Ljubljana, Slovenia, 2009. (code available at the author's web page)."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2006.311226"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190269"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2009.26"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2011.5970519"},{"key":"e_1_3_2_2_13_1","first-page":"103","volume-title":"Languages and Programming (ICALP)","author":"Dan","year":"2000","unstructured":"Dan R. Ghica and Guy McCusker. Reasoning about Idealized Algol using regular languages. In The International Colloquium on Automata , Languages and Programming (ICALP) , pages 103 -- 115 , 2000 . Dan R. Ghica and Guy McCusker. Reasoning about Idealized Algol using regular languages. In The International Colloquium on Automata, Languages and Programming (ICALP), pages 103--115, 2000."},{"key":"e_1_3_2_2_14_1","first-page":"417","volume-title":"The International Conference on Concurrency Theory (CONCUR)","author":"Dan","year":"2010","unstructured":"Dan R. Ghica and Mohamed N. Menaa. On the compositionality of round abstraction . In The International Conference on Concurrency Theory (CONCUR) , pages 417 -- 431 , 2010 . Dan R. Ghica and Mohamed N. Menaa. On the compositionality of round abstraction. In The International Conference on Concurrency Theory (CONCUR), pages 417--431, 2010."},{"key":"e_1_3_2_2_15_1","first-page":"350","volume-title":"The International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)","author":"Dan","year":"2011","unstructured":"Dan R. Ghica and Mohamed N. Menaa. Synchronous game semantics via round abstraction . In The International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) , pages 350 -- 364 , 2011 . Dan R. Ghica and Mohamed N. Menaa. Synchronous game semantics via round abstraction. In The International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), pages 350--364, 2011."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.08.018"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926425"},{"key":"e_1_3_2_2_18_1","volume-title":"Reconfigurable Computing","author":"Hauck Scott","year":"2008","unstructured":"Scott Hauck and Andr\u00e9 DeHon , editors. Reconfigurable Computing , chapter Specifying Circuit Layout in FPGAs. Systems on Silicon. Morgan Kaufmann Publishers , 2008 . Scott Hauck and Andr\u00e9 DeHon, editors. Reconfigurable Computing, chapter Specifying Circuit Layout in FPGAs. Systems on Silicon. Morgan Kaufmann Publishers, 2008."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100074338"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(80)90101-2"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199483"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/647852.737419"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1112\/S1461157000001364"},{"key":"e_1_3_2_2_25_1","volume-title":"A graph model for imperative computation. Logical Methods in Computer Science, 6(1)","author":"McCusker Guy","year":"2010","unstructured":"Guy McCusker . A graph model for imperative computation. Logical Methods in Computer Science, 6(1) , 2010 . Guy McCusker. A graph model for imperative computation. Logical Methods in Computer Science, 6(1), 2010."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/647926.739217"},{"key":"e_1_3_2_2_27_1","volume-title":"Formal Methods and Models for Co-Design (MEMOCODE)","author":"Nikhil Rishiyur","year":"2004","unstructured":"Rishiyur Nikhil . Bluespec SystemVerilog : Efficient, correct RTL from high-level specifications . Formal Methods and Models for Co-Design (MEMOCODE) , 2004 . Rishiyur Nikhil. Bluespec SystemVerilog: Efficient, correct RTL from high-level specifications. Formal Methods and Models for Co-Design (MEMOCODE), 2004."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00359-4"},{"key":"e_1_3_2_2_29_1","volume-title":"Algol-like languages","author":"O'Hearn Peter","year":"1981","unstructured":"Peter O'Hearn and Robert D. Tennent . Algol-like languages . Birkhauser , Boston , 1981 . Peter O'Hearn and Robert D. Tennent. Algol-like languages. Birkhauser, Boston, 1981."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01806032"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512766"},{"key":"e_1_3_2_2_32_1","first-page":"345","volume-title":"Proceedings of the 1981 International Symposium on Algorithmic Languages","author":"Reynolds John C.","year":"1981","unstructured":"John C. Reynolds . The essence of Algol . In Proceedings of the 1981 International Symposium on Algorithmic Languages , pages 345 -- 372 . North-Holland , 1981 . John C. Reynolds. The essence of Algol. In Proceedings of the 1981 International Symposium on Algorithmic Languages, pages 345--372. North-Holland, 1981."},{"key":"e_1_3_2_2_33_1","first-page":"704","volume-title":"Languages and Programming (ICALP)","author":"Reynolds John C.","year":"1989","unstructured":"John C. Reynolds . Syntactic control of inference, part 2. In The International Colloquium on Automata , Languages and Programming (ICALP) , pages 704 -- 722 , 1989 . John C. Reynolds. Syntactic control of inference, part 2. In The International Colloquium on Automata, Languages and Programming (ICALP), pages 704--722, 1989."},{"key":"e_1_3_2_2_34_1","volume-title":"New Structures for Physiscs","author":"Selinger Peter","year":"2009","unstructured":"Peter Selinger . New Structures for Physiscs , chapter A survey of graphical languages for monoidal categories. Springer Lecture Notes in Physics, 2009 . Peter Selinger. New Structures for Physiscs, chapter A survey of graphical languages for monoidal categories. Springer Lecture Notes in Physics, 2009."},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2004.03.008"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/FPT.2007.4439237"}],"event":{"name":"ICFP '11: ACM SIGPLAN International Conference on Functional Programming","location":"Tokyo Japan","acronym":"ICFP '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 16th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2034773.2034805","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2034773.2034805","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:39Z","timestamp":1750225719000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2034773.2034805"}},"subtitle":["compiling affine recursion into static hardware"],"short-title":[],"issued":{"date-parts":[[2011,9,19]]},"references-count":35,"alternative-id":["10.1145\/2034773.2034805","10.1145\/2034773"],"URL":"https:\/\/doi.org\/10.1145\/2034773.2034805","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2034574.2034805","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,9,19]]},"assertion":[{"value":"2011-09-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}