{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T08:58:18Z","timestamp":1770281898600,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,9,6]],"date-time":"2021-09-06T00:00:00Z","timestamp":1630886400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"EPSRC","award":["EP\/K034413\/1"],"award-info":[{"award-number":["EP\/K034413\/1"]}]},{"DOI":"10.13039\/100010665","name":"H2020 Marie Sk\u0142odowska-Curie Actions","doi-asserted-by":"publisher","award":["778233"],"award-info":[{"award-number":["778233"]}],"id":[{"id":"10.13039\/100010665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,9,6]]},"DOI":"10.1145\/3479394.3479414","type":"proceedings-article","created":{"date-parts":[[2021,10,7]],"date-time":"2021-10-07T22:23:02Z","timestamp":1633645382000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Papaya: Global Typestate Analysis of Aliased Objects"],"prefix":"10.1145","author":[{"given":"Mathias","family":"Jakobsen","sequence":"first","affiliation":[{"name":"School of Computing Science, University of Glasgow, United Kingdom"}]},{"given":"Alice","family":"Ravier","sequence":"additional","affiliation":[{"name":"School of Computing Science, University of Glasgow, United Kingdom"}]},{"given":"Ornela","family":"Dardha","sequence":"additional","affiliation":[{"name":"School of Computing Science, University of Glasgow, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2021,10,7]]},"reference":[{"key":"#cr-split#-e_1_3_2_1_1_1.1","doi-asserted-by":"crossref","unstructured":"Jonathan Aldrich Joshua Sunshine Darpan Saini and Zachary Sparks. 2009. Typestate-oriented programming. (2009) 1015-1022. https:\/\/doi.org\/10.1145\/1639950.1640073 10.1145\/1639950.1640073","DOI":"10.1145\/1639950.1640073"},{"key":"#cr-split#-e_1_3_2_1_1_1.2","doi-asserted-by":"crossref","unstructured":"Jonathan Aldrich Joshua Sunshine Darpan Saini and Zachary Sparks. 2009. Typestate-oriented programming. (2009) 1015-1022. https:\/\/doi.org\/10.1145\/1639950.1640073","DOI":"10.1145\/1639950.1640073"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297105.1297050"},{"key":"e_1_3_2_1_3_1","volume-title":"Programming Languages and Systems, Bruno C d.\u00a0S Oliveira (Ed.)","author":"Bravetti Mario","unstructured":"Mario Bravetti , Adrian Francalanza , Iaroslav Golovanov , Hans H\u00fcttel , Mathias\u00a0 S Jakobsen , Mikkel\u00a0 K Kettunen , and Ant\u00f3nio Ravara . 2020. Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language . In Programming Languages and Systems, Bruno C d.\u00a0S Oliveira (Ed.) . Springer International Publishing , Cham , 105\u2013124. Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans H\u00fcttel, Mathias\u00a0S Jakobsen, Mikkel\u00a0K Kettunen, and Ant\u00f3nio Ravara. 2020. Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. In Programming Languages and Systems, Bruno C d.\u00a0S Oliveira (Ed.). Springer International Publishing, Cham, 105\u2013124."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2480359.2429103"},{"key":"e_1_3_2_1_5_1","first-page":"917","article-title":"The chemical approach to typestate-oriented programming","volume":"39","author":"Crafa Silvia","year":"2017","unstructured":"Silvia Crafa and Luca Padovani . 2017 . The chemical approach to typestate-oriented programming . ACM Transactions on Programming Languages and Systems 39 , 3 (2017), 917 \u2013 934 . https:\/\/doi.org\/10.1145\/3064849 10.1145\/3064849 Silvia Crafa and Luca Padovani. 2017. The chemical approach to typestate-oriented programming. ACM Transactions on Programming Languages and Systems 39, 3 (2017), 917\u2013934. https:\/\/doi.org\/10.1145\/3064849","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"e_1_3_2_1_6_1","volume-title":"Behavioural Types: from Theory to Tools","author":"Dardha Ornela","unstructured":"Ornela Dardha , Simon\u00a0 J. Gay , Dimitrios Kouzapas , Roly Perera , A.\u00a0 Laura Voinea , and Florian Weber . 2017. Mungo and StMungo: tools for typechecking protocols in Java . In Behavioural Types: from Theory to Tools , Simon Gay and Antonio Ravara (Eds.). River Publishers , 309\u2013328. http:\/\/eprints.gla.ac.uk\/146891\/ Ornela Dardha, Simon\u00a0J. Gay, Dimitrios Kouzapas, Roly Perera, A.\u00a0Laura Voinea, and Florian Weber. 2017. Mungo and StMungo: tools for typechecking protocols in Java. In Behavioural Types: from Theory to Tools, Simon Gay and Antonio Ravara (Eds.). River Publishers, 309\u2013328. http:\/\/eprints.gla.ac.uk\/146891\/"},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. of PLDI pages(2001)","author":"DeLine Robert","year":"2001","unstructured":"Robert DeLine and Manuel Fahndrich . 2001 . Enforcing high-level protocols in low-level software . In Proc. of PLDI pages(2001) , 59\u201369. Robert DeLine and Manuel Fahndrich. 2001. Enforcing high-level protocols in low-level software. In Proc. of PLDI pages(2001), 59\u201369."},{"key":"e_1_3_2_1_8_1","unstructured":"Robert DeLine and Manuel F\u00e4hndrich. 2004. The Fugue protocol checker: Is your software Baroque?Technical Report January. Microsoft Research. http:\/\/research.microsoft.com\/apps\/pubs\/default.aspx?id=67458%5Cnhttp:\/\/research.microsoft.com\/en-us\/projects\/fugue\/  Robert DeLine and Manuel F\u00e4hndrich. 2004. The Fugue protocol checker: Is your software Baroque?Technical Report January. Microsoft Research. http:\/\/research.microsoft.com\/apps\/pubs\/default.aspx?id=67458%5Cnhttp:\/\/research.microsoft.com\/en-us\/projects\/fugue\/"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24851-4_21"},{"key":"e_1_3_2_1_10_1","series-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4067 LNCS","volume-title":"Session types for object-oriented languages","author":"Dezani-Ciancaglini Mariangiola","year":"2006","unstructured":"Mariangiola Dezani-Ciancaglini , Dimitris Mostrous , Nobuko Yoshida , and Sophia Drossopoulou . 2006. Session types for object-oriented languages . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4067 LNCS ( 2006 ), 328\u2013352. https:\/\/doi.org\/10.1007\/11785477_20 10.1007\/11785477_20 Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, and Sophia Drossopoulou. 2006. Session types for object-oriented languages. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4067 LNCS (2006), 328\u2013352. https:\/\/doi.org\/10.1007\/11785477_20"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512532"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1348250.1348255"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-11(4:12)2015"},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010","author":"Gay J.","year":"2010","unstructured":"Simon\u00a0 J. Gay , Vasco\u00a0Thudichum Vasconcelos , Ant\u00f3nio Ravara , Nils Gesbert , and Alexandre\u00a0 Z. Caldeira . 2010 . Modular session types for distributed object-oriented programming . In Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010 , Madrid, Spain , January 17-23, 2010, Manuel\u00a0V. Hermenegildo and Jens Palsberg (Eds.). ACM, 299\u2013312. https:\/\/doi.org\/10.1145\/1706299.1706335 10.1145\/1706299.1706335 Simon\u00a0J. Gay, Vasco\u00a0Thudichum Vasconcelos, Ant\u00f3nio Ravara, Nils Gesbert, and Alexandre\u00a0Z. Caldeira. 2010. Modular session types for distributed object-oriented programming. In Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, Manuel\u00a0V. Hermenegildo and Jens Palsberg (Eds.). ACM, 299\u2013312. https:\/\/doi.org\/10.1145\/1706299.1706335"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3464971.3468424"},{"key":"e_1_3_2_1_16_1","volume-title":"4th International Conference on Concurrency Theory","author":"Honda Kohei","year":"1993","unstructured":"Kohei Honda . 1993 . Types for Dyadic Interaction. In CONCUR \u201993 , 4th International Conference on Concurrency Theory , Hildesheim, Germany , August 23-26, 1993, Proceedings(Lecture Notes in Computer Science, Vol.\u00a0715), Eike Best(Ed.). Springer, 509\u2013523. https:\/\/doi.org\/10.1007\/3-540-57208-2_35 10.1007\/3-540-57208-2_35 Kohei Honda. 1993. Types for Dyadic Interaction. In CONCUR \u201993, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings(Lecture Notes in Computer Science, Vol.\u00a0715), Eike Best(Ed.). Springer, 509\u2013523. https:\/\/doi.org\/10.1007\/3-540-57208-2_35"},{"key":"#cr-split#-e_1_3_2_1_17_1.1","doi-asserted-by":"crossref","unstructured":"Kohei Honda Vasco\u00a0T. Vasconcelos and Makoto Kubo. 1998. Language primitives and type discipline for structured communication-based programming. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1381 (1998) 122-138. https:\/\/doi.org\/10.1007\/bfb0053567 10.1007\/bfb0053567","DOI":"10.1007\/BFb0053567"},{"key":"#cr-split#-e_1_3_2_1_17_1.2","doi-asserted-by":"crossref","unstructured":"Kohei Honda Vasco\u00a0T. Vasconcelos and Makoto Kubo. 1998. Language primitives and type discipline for structured communication-based programming. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1381 (1998) 122-138. https:\/\/doi.org\/10.1007\/bfb0053567","DOI":"10.1007\/BFb0053567"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328472"},{"key":"e_1_3_2_1_19_1","volume-title":"Papaya: Global Typestate Analysis of Aliased Objects Extended Version. CoRR abs\/2107.13101(2021). arxiv:2107.13101https:\/\/arxiv.org\/abs\/2107.13101","author":"Jakobsen Mathias","year":"2021","unstructured":"Mathias Jakobsen , Alice Ravier , and Ornela Dardha . 2021 . Papaya: Global Typestate Analysis of Aliased Objects Extended Version. CoRR abs\/2107.13101(2021). arxiv:2107.13101https:\/\/arxiv.org\/abs\/2107.13101 Mathias Jakobsen, Alice Ravier, and Ornela Dardha. 2021. Papaya: Global Typestate Analysis of Aliased Objects Extended Version. CoRR abs\/2107.13101(2021). arxiv:2107.13101https:\/\/arxiv.org\/abs\/2107.13101"},{"key":"e_1_3_2_1_20_1","unstructured":"Mathias\u00a0Steen Jakobsen Mikkel\u00a0Klinke Kettunen and Iaroslav Golovanov. 2020. Behavioural Separation with Parallel Usages for a Core Object-Oriented Language.  Mathias\u00a0Steen Jakobsen Mikkel\u00a0Klinke Kettunen and Iaroslav Golovanov. 2020. Behavioural Separation with Parallel Usages for a Core Object-Oriented Language."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2967973.2968595"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2017.10.006"},{"key":"e_1_3_2_1_23_1","unstructured":"Microsoft. 2020. Common Language Runtime (CLR) overview -.NET. https:\/\/docs.microsoft.com\/en-us\/dotnet\/standard\/clr  Microsoft. 2020. Common Language Runtime (CLR) overview -.NET. https:\/\/docs.microsoft.com\/en-us\/dotnet\/standard\/clr"},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010","author":"Milit\u00e3o Filipe","year":"2010","unstructured":"Filipe Milit\u00e3o , Jonathan Aldrich , and Lu\u00eds Caires . 2010 . Aliasing control with view-based typestate . In Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010 , Maribor, Slovenia , June 22, 2010. ACM, 7:1\u20137:7. https:\/\/doi.org\/10.1145\/1924520.1924527 10.1145\/1924520.1924527 Filipe Milit\u00e3o, Jonathan Aldrich, and Lu\u00eds Caires. 2010. Aliasing control with view-based typestate. In Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010, Maribor, Slovenia, June 22, 2010. ACM, 7:1\u20137:7. https:\/\/doi.org\/10.1145\/1924520.1924527"},{"key":"e_1_3_2_1_25_1","unstructured":"Jo\u00e3o Mota. 2021. Coping with the reality: adding crucial features to a typestate-oriented language.  Jo\u00e3o Mota. 2021. Coping with the reality: adding crucial features to a typestate-oriented language."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-78142-2_8"},{"key":"e_1_3_2_1_27_1","unstructured":"Mungo project. 2021. Mungo. http:\/\/www.dcs.gla.ac.uk\/research\/mungo\/  Mungo project. 2021. Mungo. http:\/\/www.dcs.gla.ac.uk\/research\/mungo\/"},{"key":"e_1_3_2_1_28_1","unstructured":"Martin Odersky Philippe Altherr Vincent Cremet Gilles Dubochet Burak Emir Philipp Haller St\u00e9phane Micheloud Nikolay Mihaylov Adriaan Moors Lukas Rytz Michel Schinz Erik Stenman and Matthias Zenger. 2021. Scala Language Specification. https:\/\/scala-lang.org\/files\/archive\/spec\/2.13\/  Martin Odersky Philippe Altherr Vincent Cremet Gilles Dubochet Burak Emir Philipp Haller St\u00e9phane Micheloud Nikolay Mihaylov Adriaan Moors Lukas Rytz Michel Schinz Erik Stenman and Matthias Zenger. 2021. Scala Language Specification. https:\/\/scala-lang.org\/files\/archive\/spec\/2.13\/"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.22152\/programming-journal.org\/2018\/2\/15"},{"key":"e_1_3_2_1_30_1","unstructured":"Alice Ravier. 2021. Scala-Mungo. https:\/\/github.com\/Aliceravier\/Scala-Mungo  Alice Ravier. 2021. Scala-Mungo. https:\/\/github.com\/Aliceravier\/Scala-Mungo"},{"key":"e_1_3_2_1_31_1","volume-title":"Leibniz International Proceedings in Informatics, LIPIcs 74","author":"Scalas Alceste","year":"2017","unstructured":"Alceste Scalas , Ornela Dardha , Raymond Hu , and Nobuko Yoshida . 2017 . A linear decomposition of multiparty sessions for safe distributed programming . Leibniz International Proceedings in Informatics, LIPIcs 74 , March (2017), 241\u20132431. https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2017.24 10.4230\/LIPIcs.ECOOP.2017.24 Alceste Scalas, Ornela Dardha, Raymond Hu, and Nobuko Yoshida. 2017. A linear decomposition of multiparty sessions for safe distributed programming. Leibniz International Proceedings in Informatics, LIPIcs 74, March(2017), 241\u20132431. https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2017.24"},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of the 30th European Conference on Object-Oriented Programming, ECOOP(LIPIcs, Vol.\u00a056)","author":"Scalas Alceste","year":"2016","unstructured":"Alceste Scalas and Nobuko Yoshida . 2016 . Lightweight Session Programming in Scala . In Proceedings of the 30th European Conference on Object-Oriented Programming, ECOOP(LIPIcs, Vol.\u00a056) . Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 21:1\u201321:28. https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP. 2016.21 10.4230\/LIPIcs.ECOOP.2016.21 Alceste Scalas and Nobuko Yoshida. 2016. Lightweight Session Programming in Scala. In Proceedings of the 30th European Conference on Object-Oriented Programming, ECOOP(LIPIcs, Vol.\u00a056). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 21:1\u201321:28. https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2016.21"},{"key":"e_1_3_2_1_33_1","volume-title":"Strom and Shaula Yemini","author":"E.","year":"1986","unstructured":"Robert\u00a0 E. Strom and Shaula Yemini . 1986 . Typestate : A Programming Language Concept for Enhancing Software Reliability ., 157\u2013171\u00a0pages. https:\/\/doi.org\/10.1109\/TSE.1986.6312929 10.1109\/TSE.1986.6312929 Robert\u00a0E. Strom and Shaula Yemini. 1986. Typestate: A Programming Language Concept for Enhancing Software Reliability., 157\u2013171\u00a0pages. https:\/\/doi.org\/10.1109\/TSE.1986.6312929"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2076021.2048122"},{"key":"e_1_3_2_1_35_1","first-page":"53","article-title":"Sessions, from Types to Programming","volume":"103","author":"Vasconcelos T.","year":"2011","unstructured":"Vasco\u00a0 T. Vasconcelos . 2011 . Sessions, from Types to Programming Languages. Bull. EATCS 103 (2011), 53 \u2013 73 . http:\/\/eatcs.org\/beatcs\/index.php\/beatcs\/article\/view\/136 Vasco\u00a0T. Vasconcelos. 2011. Sessions, from Types to Programming Languages. Bull. EATCS 103(2011), 53\u201373. http:\/\/eatcs.org\/beatcs\/index.php\/beatcs\/article\/view\/136","journal-title":"Languages. Bull. EATCS"},{"key":"e_1_3_2_1_36_1","volume-title":"2009 International Workshop on Foundations of Object-Oriented Languages (FOOL\u201909)","author":"Vasconcelos T.","year":"2009","unstructured":"Vasco\u00a0 T. Vasconcelos , Simon\u00a0 J. Gay , Ant\u00f3nio Ravara , Nils Gesbert , and Alexandre\u00a0 Z. Caldiera . 2009 . Dynamic interfaces . In 2009 International Workshop on Foundations of Object-Oriented Languages (FOOL\u201909) . Vasco\u00a0T. Vasconcelos, Simon\u00a0J. Gay, Ant\u00f3nio Ravara, Nils Gesbert, and Alexandre\u00a0Z. Caldiera. 2009. Dynamic interfaces. In 2009 International Workshop on Foundations of Object-Oriented Languages (FOOL\u201909)."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-50086-3_12"}],"event":{"name":"PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming","location":"Tallinn Estonia","acronym":"PPDP 2021"},"container-title":["23rd International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3479394.3479414","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3479394.3479414","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:52Z","timestamp":1750191532000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3479394.3479414"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,6]]},"references-count":39,"alternative-id":["10.1145\/3479394.3479414","10.1145\/3479394"],"URL":"https:\/\/doi.org\/10.1145\/3479394.3479414","relation":{},"subject":[],"published":{"date-parts":[[2021,9,6]]},"assertion":[{"value":"2021-10-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}