{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:50:33Z","timestamp":1740099033392,"version":"3.37.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319898834"},{"type":"electronic","value":"9783319898841"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-89884-1_31","type":"book-chapter","created":{"date-parts":[[2018,4,13]],"date-time":"2018-04-13T21:02:32Z","timestamp":1523653352000},"page":"885-911","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Correctness of a Concurrent Object Collector for Actor Languages"],"prefix":"10.1007","author":[{"given":"Juliana","family":"Franco","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvan","family":"Clebsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sophia","family":"Drossopoulou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Vitek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"Wrigstad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,14]]},"reference":[{"key":"31_CR1","doi-asserted-by":"crossref","unstructured":"Armstrong, J.: A history of Erlang. In: HOPL III (2007)","DOI":"10.1145\/1238844.1238850"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"Auerbach, J., Bacon, D.F., Guerraoui, R., Spring, J.H., Vitek, J.: Flexible task graphs: a unified restricted thread programming model for Java. In: LCTES (2008)","DOI":"10.1145\/1375657.1375659"},{"key":"31_CR3","doi-asserted-by":"publisher","unstructured":"Auhagen, S., Bergstrom, L., Fluet, M., Reppy, J.: Garbage collection for multicore NUMA machines. In: MSPC (2011). \nhttps:\/\/doi.org\/10.1145\/1988915.1988929","DOI":"10.1145\/1988915.1988929"},{"key":"31_CR4","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-45337-7_2","volume-title":"ECOOP 2001 \u2014 Object-Oriented Programming","author":"John Boyland","year":"2001","unstructured":"Boyland, J., Noble, J., Retert, W.: Capabilities for sharing: a generalisation of uniqueness and read-only. In: ECOOP (2001). \nhttps:\/\/doi.org\/10.1007\/3-540-45337-7_2"},{"key":"31_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-18941-3_1","volume-title":"Formal Methods for Multicore Programming","author":"S Brandauer","year":"2015","unstructured":"Brandauer, S., et al.: Parallel objects for multicores: a glimpse at the parallel language Encore. In: Bernardo, M., Johnsen, E.B. (eds.) SFM 2015. LNCS, vol. 9104, pp. 1\u201356. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-18941-3_1"},{"key":"31_CR6","unstructured":"Cheng, P.S.D.: Scalable real-time paralllel garbage collection for symmetric multiprocessors. Ph.D. thesis, Carnegie Mellon University (2001)"},{"key":"31_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-540-89330-1_11","volume-title":"Programming Languages and Systems","author":"D Clarke","year":"2008","unstructured":"Clarke, D., Wrigstad, T., \u00d6stlund, J., Johnsen, E.B.: Minimal ownership for active objects. In: Ramalingam, G. (ed.) APLAS 2008. LNCS, vol. 5356, pp. 139\u2013154. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-89330-1_11"},{"key":"31_CR8","unstructured":"Clebsch, S.: Pony: co-designing a type system and a runtime. Ph.D. thesis, Imperial College London (2018, to be published)"},{"key":"31_CR9","unstructured":"Clebsch, S., Blessing, S., Franco, J., Drossopoulou, S.: Ownership and reference counting based garbage collection in the actor world. In: ICOOOLPS (2015)"},{"issue":"10","key":"31_CR10","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1145\/2544173.2509557","volume":"48","author":"Sylvan Clebsch","year":"2013","unstructured":"Clebsch, S., Drossopoulou, S.: Fully concurrent garbage collection of actors on many-core machines. In: OOPSLA (2013). \nhttps:\/\/doi.org\/10.1145\/2544173.2509557","journal-title":"ACM SIGPLAN Notices"},{"key":"31_CR11","doi-asserted-by":"publisher","unstructured":"Clebsch, S., Drossopoulou, S., Blessing, S., McNeil, A.: Deny capabilities for safe, fast actors. In: AGERE! (2015). \nhttps:\/\/doi.org\/10.1145\/2824815.2824816","DOI":"10.1145\/2824815.2824816"},{"key":"31_CR12","doi-asserted-by":"publisher","unstructured":"Clebsch, S., Franco, J., Drossopoulou, S., Yang, A., Wrigstad, T., Vitek, J.: Orca: GC and type system co-design for actor languages. In: OOPSLA (2017). \nhttps:\/\/doi.org\/10.1145\/3133896","DOI":"10.1145\/3133896"},{"key":"31_CR13","doi-asserted-by":"publisher","unstructured":"Doligez, D., Gonthier, G.: Portable, unobtrusive garbage collection for multiprocessor systems. In: POPL (1994). \nhttps:\/\/doi.org\/10.1145\/174675.174673","DOI":"10.1145\/174675.174673"},{"key":"31_CR14","doi-asserted-by":"publisher","unstructured":"Doligez, D., Leroy, X.: A concurrent, generational garbage collector for a multithreaded implementation of ML. In: POPL (1993). \nhttps:\/\/doi.org\/10.1145\/158511.158611","DOI":"10.1145\/158511.158611"},{"key":"31_CR15","doi-asserted-by":"publisher","unstructured":"Domani, T., Goldshtein, G., Kolodner, E.K., Lewis, E., Petrank, E., Sheinwald, D.: Thread-local heaps for Java. In: ISMM (2002). \nhttps:\/\/doi.org\/10.1145\/512429.512439","DOI":"10.1145\/512429.512439"},{"key":"31_CR16","unstructured":"Franco, J., Clebsch, S., Drossopoulou, S., Vitek, J., Wrigstad, T.: Soundness of a concurrent collector for actors (extended version). Technical report, Imperial College London (2018). \nhttps:\/\/www.doc.ic.ac.uk\/research\/technicalreports\/2018\/"},{"key":"31_CR17","doi-asserted-by":"publisher","unstructured":"Gamie, P., Hosking, A., Engelhard, K.: Relaxing safely: verified on-the-fly garbage collection for x86-TSO. In: PLDI (2015). \nhttps:\/\/doi.org\/10.1145\/2737924.2738006","DOI":"10.1145\/2737924.2738006"},{"key":"31_CR18","doi-asserted-by":"publisher","unstructured":"Gordon, C.S., Parkinson, M.J., Parsons, J., Bromfield, A., Duffy, J.: Uniqueness and reference immutability for safe parallelism. In: OOPSLA (2012). \nhttps:\/\/doi.org\/10.1145\/2384616.2384619","DOI":"10.1145\/2384616.2384619"},{"issue":"12","key":"31_CR19","doi-asserted-by":"publisher","first-page":"921","DOI":"10.1145\/359897.359903","volume":"20","author":"D Gries","year":"1977","unstructured":"Gries, D.: An exercise in proving parallel programs correct. Commun. ACM 20(12), 921\u2013930 (1977). \nhttps:\/\/doi.org\/10.1145\/359897.359903","journal-title":"Commun. ACM"},{"issue":"10","key":"31_CR20","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1145\/3022671.2984042","volume":"51","author":"Philipp Haller","year":"2016","unstructured":"Haller, P., Loiko, A.: LaCasa: lightweight affinity and object capabilities in Scala. In: OOPSLA (2016). \nhttps:\/\/doi.org\/10.1145\/2983990.2984042","journal-title":"ACM SIGPLAN Notices"},{"key":"31_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/978-3-642-14107-2_17","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"P Haller","year":"2010","unstructured":"Haller, P., Odersky, M.: Capabilities for uniqueness and borrowing. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 354\u2013378. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-14107-2_17"},{"key":"31_CR22","doi-asserted-by":"publisher","unstructured":"Hawblitzel, C., Petrank, E.: Automated verification of practical garbage collectors. In: POPL (2009). \nhttps:\/\/doi.org\/10.1145\/1480881.1480935","DOI":"10.1145\/1480881.1480935"},{"issue":"6","key":"31_CR23","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1002\/spe.372","volume":"31","author":"G Kniesel","year":"2001","unstructured":"Kniesel, G., Theisen, D.: JAC-access right based encapsulation for Java. Softw. Pract. Exp. 31(6), 555\u2013576 (2001)","journal-title":"Softw. Pract. Exp."},{"key":"31_CR24","doi-asserted-by":"publisher","unstructured":"Marlow, S., Peyton Jones, S.: Multicore garbage collection with local heaps. In: ISMM (2011). \nhttps:\/\/doi.org\/10.1145\/1993478.1993482","DOI":"10.1145\/1993478.1993482"},{"key":"31_CR25","doi-asserted-by":"publisher","unstructured":"McCreight, A., Shao, Z., Lin, C., Li, L.: A general framework for certifying garbage collectors and their mutators. In: PLDI (2007). \nhttps:\/\/doi.org\/10.1145\/1250734.1250788","DOI":"10.1145\/1250734.1250788"},{"issue":"6","key":"31_CR26","doi-asserted-by":"publisher","first-page":"1344","DOI":"10.1145\/1108970.1108976","volume":"27","author":"L Moreau","year":"2005","unstructured":"Moreau, L., Dickman, P., Jones, R.: Birrell\u2019s distributed reference listing revisited. ACM Trans. Program. Lang. Syst. (TOPLAS) 27(6), 1344\u20131395 (2005). \nhttps:\/\/doi.org\/10.1145\/1108970.1108976","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"issue":"8","key":"31_CR27","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1007\/PL00013315","volume":"37","author":"L Moreau","year":"2001","unstructured":"Moreau, L., Duprat, J.: A construction of distributed reference counting. Acta Informatica 37(8), 563\u2013595 (2001). \nhttps:\/\/doi.org\/10.1007\/PL00013315","journal-title":"Acta Informatica"},{"key":"31_CR28","unstructured":"\u00d6stlund, J.: Language constructs for safe parallel programming on multi-cores. Ph.D. thesis, Department of Information Technology, Uppsala University (2016)"},{"key":"31_CR29","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-540-69824-1_11","volume-title":"Objects, Components, Models and Patterns","author":"J \u00d6stlund","year":"2008","unstructured":"\u00d6stlund, J., Wrigstad, T., Clarke, D., \u00c5kerblom, B.: Ownership, uniqueness, and immutability. In: Paige, R.F., Meyer, B. (eds.) TOOLS EUROPE 2008. LNBIP, vol. 11, pp. 178\u2013197. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-69824-1_11"},{"issue":"4","key":"31_CR30","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S Owicki","year":"1976","unstructured":"Owicki, S., Gries, D.: An axiomatic proof technique for parallel programs I. Acta Informatica 6(4), 319\u2013340 (1976)","journal-title":"Acta Informatica"},{"key":"31_CR31","doi-asserted-by":"publisher","unstructured":"Pizlo, F., Hosking, A.L., Vitek, J.: Hierarchical Real-Time Garbage Collection (2007). \nhttps:\/\/doi.org\/10.1145\/1254766.1254784","DOI":"10.1145\/1254766.1254784"},{"key":"31_CR32","doi-asserted-by":"publisher","unstructured":"Pizlo, F., Ziarek, L., Maj, P., Hosking, A.L., Blanton, E., Vitek, J.: Schism: fragmentation-tolerant real-time garbage collection. In: PLDI (2010). \nhttps:\/\/doi.org\/10.1145\/1806596.1806615","DOI":"10.1145\/1806596.1806615"},{"key":"31_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-642-36946-9_9","volume-title":"Aliasing in Object-Oriented Programming. Types, Analysis and Verification","author":"A Potanin","year":"2013","unstructured":"Potanin, A., \u00d6stlund, J., Zibin, Y., Ernst, M.D.: Immutability. In: Clarke, D., Noble, J., Wrigstad, T. (eds.) Aliasing in Object-Oriented Programming. Types, Analysis and Verification. LNCS, vol. 7850, pp. 233\u2013269. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-36946-9_9"},{"key":"31_CR34","doi-asserted-by":"publisher","unstructured":"Raghunathan, R., Muller, S.K., Acar, U.A., Blelloch, G.: Hierarchical memory management for parallel programs. In: ICFP (2016). \nhttps:\/\/doi.org\/10.1145\/2951913.2951935","DOI":"10.1145\/2951913.2951935"},{"issue":"4","key":"31_CR35","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0020-0190(83)90039-X","volume":"17","author":"S Ramesh","year":"1983","unstructured":"Ramesh, S., Mehndiratta, S.: The liveness property of on-the-fly garbage collector - a proof. Inf. Process. Lett. 17(4), 189\u2013195 (1983)","journal-title":"Inf. Process. Lett."},{"key":"31_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-70592-5_6","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"S Srinivasan","year":"2008","unstructured":"Srinivasan, S., Mycroft, A.: Kilim: isolation-typed actors for Java. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 104\u2013128. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-70592-5_6"},{"issue":"10","key":"31_CR37","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1145\/1103845.1094828","volume":"40","author":"Matthew S. Tschantz","year":"2005","unstructured":"Tschantz, M.S., Ernst, M.D.: Javari: adding reference immutability to Java. In: OOPSLA (2005). \nhttps:\/\/doi.org\/10.1145\/1094811.1094828","journal-title":"ACM SIGPLAN Notices"},{"key":"31_CR38","doi-asserted-by":"publisher","unstructured":"Ugawa, T., Jones, R.E., Ritson, C.G.: Reference object processing in on-the-fly garbage collection. In: ISMM (2014). \nhttps:\/\/doi.org\/10.1145\/2602988.2602991","DOI":"10.1145\/2602988.2602991"},{"issue":"6","key":"31_CR39","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1145\/1133255.1134022","volume":"41","author":"Martin T. Vechev","year":"2006","unstructured":"Vechev, M.T., Yahav, E., Bacon, D.F.: Correctness-preserving derivation of concurrent garbage collection algorithms. In: PLDI (2006). \nhttps:\/\/doi.org\/10.1145\/1133981.1134022","journal-title":"ACM SIGPLAN Notices"},{"key":"31_CR40","doi-asserted-by":"publisher","unstructured":"Yang, A.M., Wrigstad, T.: Type-assisted automatic garbage collection for lock-free data structures. In: ISMM (2017). \nhttps:\/\/doi.org\/10.1145\/3092255.3092274","DOI":"10.1145\/3092255.3092274"},{"key":"31_CR41","doi-asserted-by":"publisher","unstructured":"Zibin, Y., Potanin, A., Li, P., Ali, M., Ernst, M.D.: Ownership and immutability in generic Java. In: OOPSLA (2010). \nhttps:\/\/doi.org\/10.1145\/1932682.1869509","DOI":"10.1145\/1932682.1869509"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-89884-1_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,13]],"date-time":"2018-04-13T21:19:48Z","timestamp":1523654388000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-89884-1_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319898834","9783319898841"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-89884-1_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}