{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T05:08:25Z","timestamp":1725685705828},"publisher-location":"New York, NY, USA","reference-count":12,"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":"http:\/\/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.3104044","type":"proceedings-article","created":{"date-parts":[[2017,6,26]],"date-time":"2017-06-26T12:13:28Z","timestamp":1498479208000},"page":"1-2","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Consistency Types for Safe and Efficient Distributed Programming"],"prefix":"10.1145","author":[{"given":"Alessandro","family":"Margara","sequence":"first","affiliation":[{"name":"Politecnico di Milano"}]},{"given":"Guido","family":"Salvaneschi","sequence":"additional","affiliation":[{"name":"TU Darmstadt"}]}],"member":"320","published-online":{"date-parts":[[2017,6,18]]},"reference":[{"volume-title":"Not CAP: Towards Highly Available Transactions (HotOS '13)","year":"2013","author":"Bailis Peter","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2447976.2447992"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463676.2465279"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Eric Brewer. 2012. CAP twelve years later: How the \"rules\" have changed. (2012). Eric Brewer. 2012. CAP twelve years later: How the \"rules\" have changed. (2012).","DOI":"10.1109\/MC.2012.37"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_14"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2160910.2160913"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2987550.2987559"},{"volume-title":"Automating the Choice of Consistency Levels in Replicated Systems (USENIX ATC'14)","year":"2014","author":"Li Cheng","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","unstructured":"Cheng Li Daniel Porto Allen Clement Johannes Gehrke Nuno Pregui\u00e7a and Rodrigo Rodrigues. 2012. Making Geo-replicated Systems Fast As Possible Consistent when Necessary (OSDI '12). USENIX Association. Cheng Li Daniel Porto Allen Clement Johannes Gehrke Nuno Pregui\u00e7a and Rodrigo Rodrigues. 2012. Making Geo-replicated Systems Fast As Possible Consistent when Necessary (OSDI '12). USENIX Association."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Marc Shapiro Nuno Pregui\u00e7a Carlos Baquero and Marek Zawirski. 2011. Conflict-free Replicated Data Types (SSS'11). Springer. Marc Shapiro Nuno Pregui\u00e7a Carlos Baquero and Marek Zawirski. 2011. Conflict-free Replicated Data Types (SSS'11). Springer.","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1435417.1435432"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2957319.2957377"}],"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\/pdf\/10.1145\/3103111.3104044","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T05:51:42Z","timestamp":1673589102000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3103111.3104044"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,18]]},"references-count":12,"alternative-id":["10.1145\/3103111.3104044","10.1145\/3103111"],"URL":"https:\/\/doi.org\/10.1145\/3103111.3104044","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"}}]}}