{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T00:41:14Z","timestamp":1725842474730},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319265285"},{"type":"electronic","value":"9783319265292"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-26529-2_12","type":"book-chapter","created":{"date-parts":[[2015,12,9]],"date-time":"2015-12-09T07:23:39Z","timestamp":1449645819000},"page":"208-228","source":"Crossref","is-referenced-by-count":1,"title":["Aliasing Control in an Imperative Pure Calculus"],"prefix":"10.1007","author":[{"given":"Marco","family":"Servetto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Zucca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,9]]},"reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/BFb0053373","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"PS Almeida","year":"1997","unstructured":"Almeida, P.S.: Balloon types: controlling sharing of state in data types. In: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 32\u201359. Springer, Heidelberg (1997)"},{"key":"12_CR2","volume-title":"Effective Java (2Nd Edition) (The Java Series)","author":"J Bloch","year":"2008","unstructured":"Bloch, J.: Effective Java (2Nd Edition) (The Java Series), 2nd edn. Prentice Hall PTR, Upper Saddle River (2008)","edition":"2"},{"issue":"6","key":"12_CR3","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1002\/spe.370","volume":"31","author":"J Boyland","year":"2001","unstructured":"Boyland, J.: Alias burying: Unique variables without destructive reads. Softw. Pract. Exper. 31(6), 533\u2013553 (2001)","journal-title":"Softw. Pract. Exper."},{"issue":"6","key":"12_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1749608.1749611","volume":"32","author":"J Boyland","year":"2010","unstructured":"Boyland, J.: Semantics of fractional permissions with nesting. ACM Trans. Program. Lang. Syst. 32(6), 1\u201333 (2010)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Capriccioli, A., Servetto, M., Zucca, E.: An imperative pure calculus. In: ICTCS 2015 - Italian Conference on Theoretical Computer Science (2015)","DOI":"10.1016\/j.entcs.2016.03.007"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-540-45070-2_9","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"D Clarke","year":"2003","unstructured":"Clarke, D., Wrigstad, T.: External uniqueness is unique enough. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol. 2743, pp. 176\u2013200. Springer, Heidelberg (2003)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Clarke, D.G., Potter, J., Noble, J.: Ownership types for flexible alias protection. In: ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications 1998, pp. 48\u201364 (1998)","DOI":"10.1145\/286942.286947"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-540-73589-2_3","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"W Dietl","year":"2007","unstructured":"Dietl, W., Drossopoulou, S., M\u00fcller, P.: Generic universe types. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol. 4609, pp. 28\u201353. Springer, Heidelberg (2007)"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Gordon, C.S., Parkinson, M.J., Parsons, J., Bromfield, A., Duffy, J.: Uniqueness and reference immutability for safe parallelism. In: ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2012), pp. 21\u201340. ACM Press (2012)","DOI":"10.1145\/2398857.2384619"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Hogg, J.: Islands: aliasing protection in object-oriented languages. In: ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications 1991, pp. 271\u2013285. ACM Press (1991)","DOI":"10.1145\/118014.117975"},{"issue":"3","key":"12_CR11","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. 23(3), 396\u2013450 (2001)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Li, P., Cameron, N., Noble, J.: Cloning in ownership. In: Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion, OOPSLA 2011, pp. 63\u201366. ACM, New York (2011)","DOI":"10.1145\/2048147.2048175"},{"key":"12_CR13","volume-title":"Communicating and Mobile Systems - The Pi-Calculus","author":"R Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems - The Pi-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Naden, K., Bocchino, R., Aldrich, J., Bierhoff, K.: A type system for borrowing permissions. In: ACM Symposium on Principles of Programming Languages 2012, pp. 557\u2013570. ACM Press (2012)","DOI":"10.1145\/2103621.2103722"},{"key":"12_CR15","unstructured":"Reynolds, J.C.: Separation logic: a logic for shared mutable data structures. In: Proceedings of the IEEE Symposium on Logic in Computer Science 2002, pp. 5\u201374. IEEE Computer Society (2002)"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Servetto, M., Groves, L.: True small-step reduction for imperative object-oriented languages. IN: FTfJP 2013- Formal Techniques for Java-like Programs (2013)","DOI":"10.1145\/2489804.2489805"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-642-39038-8_9","volume-title":"ECOOP 2013 \u2013 Object-Oriented Programming","author":"M Servetto","year":"2013","unstructured":"Servetto, M., Mackay, J., Potanin, A., Noble, J.: The billion-dollar fix: safe modular circular initialisation with placeholders and placeholder types. In: Castagna, G. (ed.) ECOOP 2013. LNCS, vol. 7920, pp. 205\u2013229. Springer, Heidelberg (2013)"},{"key":"12_CR18","unstructured":"Servetto, M., Pearce, D.J., Groves, L., Potanin, A.: Balloon types for safe parallelisation over arbitrary object graphs. In: WODET 2014 - Workshop on Determinism and Correctness in Parallel Programming (2013)"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Tschantz, M.S., Ernst, M.D.: Javari: adding reference immutabilityto Java. In: Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2005), San Diego, CA, USA, October 18\u201320, pp. 211\u2013230 (2005)","DOI":"10.1145\/1094811.1094828"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Zibin, Y., Potanin, A., Li, P., Ali, M., Ernst, M.D.: Ownership and immutability in generic Java. In: ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2010), pp. 598\u2013617 (2010)","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-26529-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T17:14:48Z","timestamp":1559322888000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-26529-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319265285","9783319265292"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-26529-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}