{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T04:05:36Z","timestamp":1752984336782,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,3]],"date-time":"2018-09-03T00:00:00Z","timestamp":1535932800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100007398","name":"Strategiske Forskningsr\u00e5d","doi-asserted-by":"publisher","award":["10-092299"],"award-info":[{"award-number":["10-092299"]}],"id":[{"id":"10.13039\/100007398","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,9,3]]},"DOI":"10.1145\/3236950.3236955","type":"proceedings-article","created":{"date-parts":[[2018,8,14]],"date-time":"2018-08-14T12:09:54Z","timestamp":1534248594000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Certified Compilation of Financial Contracts"],"prefix":"10.1145","author":[{"given":"Danil","family":"Annenkov","sequence":"first","affiliation":[{"name":"INRIA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Elsman","sequence":"additional","affiliation":[{"name":"University of Copenhagen, Dept. of Computer Science (DIKU)"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,3]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1007\/s10009-006-0010-1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1145\/2898354"},{"key":"e_1_3_2_1_3_1","first-page":"6","volume-title":"ICSE-17 Workshop on Formal Methods Application in Software Engineering","author":"Arnold B.R.T","year":"1995"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/2784731.2784747"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.7551\/mitpress\/9153.001.0001"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1007\/s12599-017-0507-z"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.5555\/1520298.1520301"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1145\/2636228.2636238"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/3062341.3062354"},{"key":"e_1_3_2_1_10_1","first-page":"29","volume-title":"FLACOS","author":"Hvitved Tom","year":"2010"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1016\/j.jlap.2011.04.010"},{"volume-title":"Proceedings of the International Symposium on Code Generation and Optimization: Feedback-directed and Runtime Optimization, CGO '04","author":"Lattner Chris","first-page":"75","key":"e_1_3_2_1_12_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/1111037.1111042"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1007\/978-3-540-69407-6_39"},{"unstructured":"LexiFi. Contract description language (MLFi). http:\/\/www.lexifi.com\/technology\/contract-description-language.  LexiFi. Contract description language (MLFi). http:\/\/www.lexifi.com\/technology\/contract-description-language.","key":"e_1_3_2_1_15_1"},{"volume-title":"http:\/\/www.lexifi.com\/files\/resources\/MLFiWhitePaper.pdf","year":"2008","author":"Structuring Fi.","key":"e_1_3_2_1_16_1"},{"volume-title":"Bitcoin: A peer-to-peer electronic cash system","year":"2008","author":"Nakamoto Satoshi","key":"e_1_3_2_1_17_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1145\/3139337.3139340"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1007\/978-1-349-91518-7_6"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1145\/351240.351267"},{"volume-title":"Chris Casinghino, Marco Gaboardi, Michael Greenberg, C\u0103t\u0103lin Hri\u0163cu, Vilhelm Sj\u00f6berg, and Brent Yorgey. Software Foundations. Electronic textbook","year":"2016","author":"Pierce Benjamin C.","key":"e_1_3_2_1_21_1"},{"volume-title":"XpressInstruments solutions","author":"SimCorp A\/S.","key":"e_1_3_2_1_22_1"},{"volume-title":"Ethereum: A secure decentralised generalised transaction ledger","year":"2015","author":"Wood Gavin","key":"e_1_3_2_1_23_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1145\/2103656.2103709"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","Goethe University Goethe University Frankfurt"],"acronym":"PPDP '18","name":"PPDP '18: The 20th International Symposium on Principles and Practice of Declarative Programming","location":"Frankfurt am Main Germany"},"container-title":["Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236950.3236955","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236950.3236955","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:33Z","timestamp":1750210773000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236950.3236955"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,3]]},"references-count":24,"alternative-id":["10.1145\/3236950.3236955","10.1145\/3236950"],"URL":"https:\/\/doi.org\/10.1145\/3236950.3236955","relation":{},"subject":[],"published":{"date-parts":[[2018,9,3]]},"assertion":[{"value":"2018-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}