{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:24Z","timestamp":1750306104639,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T00:00:00Z","timestamp":1497744000000},"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":[[2017,6,18]]},"DOI":"10.1145\/3103111.3104041","type":"proceedings-article","created":{"date-parts":[[2017,6,26]],"date-time":"2017-06-26T12:13:28Z","timestamp":1498479208000},"page":"1-2","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A Coq-based synthesis of Scala programs which are correct-by-construction"],"prefix":"10.1145","author":[{"given":"Youssef","family":"El Bakouny","sequence":"first","affiliation":[{"name":"CIMTI - ESIB, Saint-Joseph University, Beirut, Lebanon, CEDRIC, CNAM, Paris, France"}]},{"given":"Tristan","family":"Crolard","sequence":"additional","affiliation":[{"name":"CEDRIC, CNAM, Paris, France"}]},{"given":"Dani","family":"Mezher","sequence":"additional","affiliation":[{"name":"CIMTI - ESIB, Saint-Joseph University, Beirut, Lebanon"}]}],"member":"320","published-online":{"date-parts":[[2017,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2489837.2489838"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_8"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12251-4_9"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796898003050"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35308-6_2"},{"key":"e_1_3_2_1_6_1","volume-title":"LogiCal Project","author":"The","year":"2004","unstructured":"The Coq development team. The Coq proof assistant reference manual . LogiCal Project , 2004 . Version 8.0. The Coq development team. The Coq proof assistant reference manual. LogiCal Project, 2004. Version 8.0."},{"key":"e_1_3_2_1_7_1","volume-title":"K.U.Leuven","author":"Moors Adriaan","year":"2008","unstructured":"Adriaan Moors , Frank Piessens , and Martin Odersky . Parser combinators in Scala. Technical report , K.U.Leuven , 2008 . Adriaan Moors, Frank Piessens, and Martin Odersky. Parser combinators in Scala. Technical report, K.U.Leuven, 2008."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Tobias\n      Nipkow Lawrence C.\n      Paulson and \n      Markus\n      Wenzel\n    . Isabelle\/\n      HOL - A\n      Proof\n      Assistant\n       for \n      Higher-Order Logic volume \n  2283\n   of \n  Lecture Notes in Computer Science\n  . \n  Springer 2002\n  .   Tobias Nipkow Lawrence C. Paulson and Markus Wenzel. Isabelle\/HOL - A Proof Assistant for Higher-Order Logic volume 2283 of Lecture Notes in Computer Science. Springer 2002.","DOI":"10.1007\/3-540-45949-9"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2591013"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2984043.2998388"},{"key":"e_1_3_2_1_11_1","volume-title":"Chris Casinghino, Marco Gaboardi, Michael Greenberg, C\u0103t\u0103lin Hri\u0163cu, Vilhelm Sj\u00f6berg, and Brent Yorgey. Software Foundations. Electronic textbook","author":"Pierce Benjamin C.","year":"2016","unstructured":"Benjamin C. Pierce , Arthur Azevedo de Amorim , Chris Casinghino, Marco Gaboardi, Michael Greenberg, C\u0103t\u0103lin Hri\u0163cu, Vilhelm Sj\u00f6berg, and Brent Yorgey. Software Foundations. Electronic textbook , 2016 . Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, C\u0103t\u0103lin Hri\u0163cu, Vilhelm Sj\u00f6berg, and Brent Yorgey. Software Foundations. Electronic textbook, 2016."}],"event":{"name":"ECOOP '17: European Conference on Object-Oriented Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","AITO Assoc Internationale por les Technologies Objects"],"location":"Barcelona Spain","acronym":"ECOOP '17"},"container-title":["Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3103111.3104041","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3103111.3104041","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:37Z","timestamp":1750217437000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3103111.3104041"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,18]]},"references-count":11,"alternative-id":["10.1145\/3103111.3104041","10.1145\/3103111"],"URL":"https:\/\/doi.org\/10.1145\/3103111.3104041","relation":{},"subject":[],"published":{"date-parts":[[2017,6,18]]},"assertion":[{"value":"2017-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}