{"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":1750306104691,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"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.3104038","type":"proceedings-article","created":{"date-parts":[[2017,6,26]],"date-time":"2017-06-26T12:13:28Z","timestamp":1498479208000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Tracing sharing in an imperative pure calculus"],"prefix":"10.1145","author":[{"given":"Paola","family":"Giannini","sequence":"first","affiliation":[{"name":"Universit\u00e0 del Piemonte Orientale, Italy"}]},{"given":"Marco","family":"Servetto","sequence":"additional","affiliation":[{"name":"Victoria University of Wellington, New Zealand"}]},{"given":"Elena","family":"Zucca","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Genova, Italy"}]}],"member":"320","published-online":{"date-parts":[[2017,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Balloon Types: Controlling Sharing of State in Data Types. In ECOOP'97 (Lecture Notes in Computer Science)","author":"Almeida Paulo S\u00e9rgio","year":"1997","unstructured":"Paulo S\u00e9rgio Almeida . 1997 . Balloon Types: Controlling Sharing of State in Data Types. In ECOOP'97 (Lecture Notes in Computer Science) , Vol. 1241 . Springer , 32--59. Paulo S\u00e9rgio Almeida. 1997. Balloon Types: Controlling Sharing of State in Data Types. In ECOOP'97 (Lecture Notes in Computer Science), Vol. 1241. Springer, 32--59."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.370"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2016.03.007"},{"key":"e_1_3_2_1_4_1","volume-title":"Reference Capabilities for Concurrency Control. In ECOOP'16 (LIPIcs)","volume":"56","author":"Castegren Elias","year":"2016","unstructured":"Elias Castegren and Tobias Wrigstad . 2016 . Reference Capabilities for Concurrency Control. In ECOOP'16 (LIPIcs) , Vol. 56 . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 5:1--5:26. Elias Castegren and Tobias Wrigstad. 2016. Reference Capabilities for Concurrency Control. In ECOOP'16 (LIPIcs), Vol. 56. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 5:1--5:26."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/2554511.2554516"},{"volume-title":"ECOOP'03 (Lecture Notes in Computer Science)","author":"Clarke David","key":"e_1_3_2_1_6_1","unstructured":"David Clarke and Tobias Wrigstad . 2003. External Uniqueness is Unique Enough . In ECOOP'03 (Lecture Notes in Computer Science) , Vol. 2473 . Springer , 176--200. David Clarke and Tobias Wrigstad. 2003. External Uniqueness is Unique Enough. In ECOOP'03 (Lecture Notes in Computer Science), Vol. 2473. Springer, 176--200."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2824815.2824816"},{"volume-title":"ECOOP'07 (Lecture Notes in Computer Science)","author":"Dietl Werner","key":"e_1_3_2_1_8_1","unstructured":"Werner Dietl , Sophia Drossopoulou , and Peter M\u00fcller . 2007. Generic Universe Types . In ECOOP'07 (Lecture Notes in Computer Science) , Vol. 4609 . Springer , 28--53. Werner Dietl, Sophia Drossopoulou, and Peter M\u00fcller. 2007. Generic Universe Types. In ECOOP'07 (Lecture Notes in Computer Science), Vol. 4609. Springer, 28--53."},{"key":"e_1_3_2_1_10_1","volume-title":"Types for Immutability and Aliasing Control. In ICTCS","author":"Giannini Paola","year":"2016","unstructured":"Paola Giannini , Marco Servetto , and Elena Zucca . 2016 . Types for Immutability and Aliasing Control. In ICTCS 2016. 62--74. http:\/\/ceur-ws.org\/Vol-1720\/full5.pdf Paola Giannini, Marco Servetto, and Elena Zucca. 2016. Types for Immutability and Aliasing Control. In ICTCS 2016. 62--74. http:\/\/ceur-ws.org\/Vol-1720\/full5.pdf"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384619"},{"volume-title":"ECOOP'10 (Lecture Notes in Computer Science)","author":"Haller Philipp","key":"e_1_3_2_1_12_1","unstructured":"Philipp Haller and Martin Odersky . 2010. Capabilities for Uniqueness and Borrowing . In ECOOP'10 (Lecture Notes in Computer Science) , Vol. 6183 . Springer , 354--378. Philipp Haller and Martin Odersky. 2010. Capabilities for Uniqueness and Borrowing. In ECOOP'10 (Lecture Notes in Computer Science), Vol. 6183. Springer, 354--378."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/117954.117975"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640097"},{"volume-title":"Communicating and mobile systems - the Pi-calculus","author":"Milner Robin","key":"e_1_3_2_1_16_1","unstructured":"Robin Milner . 1999. Communicating and mobile systems - the Pi-calculus . Cambridge University Press . Robin Milner. 1999. Communicating and mobile systems - the Pi-calculus. Cambridge University Press."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103722"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2489804.2489805"},{"key":"e_1_3_2_1_19_1","volume-title":"WODET","author":"Servetto Marco","year":"2013","unstructured":"Marco Servetto , David J. Pearce , Lindsay Groves , and Alex Potanin . 2013 . Balloon Types for Safe Parallelisation over Arbitrary Object Graphs . In WODET 2014. Marco Servetto, David J. Pearce, Lindsay Groves, and Alex Potanin. 2013. Balloon Types for Safe Parallelisation over Arbitrary Object Graphs. In WODET 2014."},{"volume-title":"APLAS (Lecture Notes in Computer Science)","author":"Servetto Marco","key":"e_1_3_2_1_20_1","unstructured":"Marco Servetto and Elena Zucca . 2015. Aliasing Control in an Imperative Pure Calculus . In APLAS (Lecture Notes in Computer Science) , Vol. 9458 . Springer , 208--228. Marco Servetto and Elena Zucca. 2015. Aliasing Control in an Imperative Pure Calculus. In APLAS (Lecture Notes in Computer Science), Vol. 9458. Springer, 208--228."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3011999"}],"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.3104038","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3103111.3104038","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.3104038"}},"subtitle":["extended abstract"],"short-title":[],"issued":{"date-parts":[[2017,6,18]]},"references-count":20,"alternative-id":["10.1145\/3103111.3104038","10.1145\/3103111"],"URL":"https:\/\/doi.org\/10.1145\/3103111.3104038","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"}}]}}