References

  1. Alexander Joseph Ahern & Nobuko Yoshida (2005): Formalising Java RMI with explicit code mobility. In: Ralph E. Johnson & Richard P. Gabriel: ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2005). ACM Press, pp. 403–422, doi:10.1145/1094811.1094843.
  2. Paulo Sérgio Almeida (1997): Balloon Types: Controlling Sharing of State in Data Types. In: ECOOP'97 - Object-Oriented Programming, Lecture Notes in Computer Science 1241. Springer, pp. 32–59, doi:10.1007/BFb0053373.
  3. Zena M. Ariola & Stefan Blom (2002): Skew confluence and the lambda calculus with letrec. Ann. Pure Appl. Logic 117(1-3), pp. 95–168, doi:10.1016/S0168-0072(01)00104-X.
  4. Zena M. Ariola & Matthias Felleisen (1997). Journ. of Functional Programming 7(3), pp. 265–301, doi:10.1017/S0956796897002724.
  5. Lorenzo Bettini, Ferruccio Damiani & Ina Schäfer (2010): IFJ: a minimal imperative variant of FJ. Technical Report 133/2010. Dipartimento di Informatica, Università di Torino.
  6. Gavin M. Bierman & Matthew J. Parkinson (2003): Effects and effect inference for a core Java calculus. Electr. Notes Theor. Comput. Sci. 82(7), pp. 82–107, doi:10.1016/S1571-0661(04)80803-X.
  7. John Boyland (2001): Alias Burying: Unique Variables Without Destructive Reads. Softw. Pract. Exper. 31(6), pp. 533–553, doi:10.1002/spe.370.
  8. John Boyland (2010): Semantics of Fractional Permissions with Nesting. ACM Transactions on Programming Languages and Systems 32(6), doi:10.1145/1749608.1749611.
  9. Andrea Capriccioli, Marco Servetto & Elena Zucca (2016): An imperative pure calculus. Electronic Notes in Theoretical Computer Science 322, pp. 87–102, doi:10.1016/j.entcs.2016.03.007.
  10. Dave Clarke, Johan Östlund, Ilya Sergey & Tobias Wrigstad (2013): Ownership Types: A Survey. In: Dave Clarke, James Noble & Tobias Wrigstad: Aliasing in Object-Oriented Programming. Types, Analysis and Verification, Lecture Notes in Computer Science 7850. Springer, pp. 15–58, doi:10.1007/978-3-642-36946-9-3.
  11. David Clarke & Tobias Wrigstad (2003): External Uniqueness is Unique Enough. In: Luca Cardelli: ECOOP'03 - Object-Oriented Programming, Lecture Notes in Computer Science 2473. Springer, pp. 176–200, doi:10.1006/inco.1996.2613.
  12. Sylvan Clebsch, Sophia Drossopoulou, Sebastian Blessing & Andy McNeil (2015): Deny capabilities for safe, fast actors. In: Elisa Gonzalez Boix, Philipp Haller, Alessandro Ricci & Carlos Varela: International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE! 2015. ACM Press, pp. 1–12, doi:10.1145/2824815.2824816.
  13. Werner Dietl, Sophia Drossopoulou & Peter Müller (2007): Generic Universe Types. In: Erik Ernst: ECOOP'07 - Object-Oriented Programming, Lecture Notes in Computer Science 4609. Springer, pp. 28–53, doi:10.1007/BFb0054091.
  14. Paola Giannini, Tim Richter, Marco Servetto & Elena Zucca (2019): Tracing sharing in an imperative pure calculus. Science of Computer Programming 172, pp. 180 – 202, doi:10.1016/j.scico.2018.11.007.
  15. Paola Giannini, Marco Servetto & Elena Zucca (2016): Types for Immutability and Aliasing Control. In: ICTCS'16 - Italian Conf. on Theoretical Computer Science, CEUR Workshop Proceedings 1720. CEUR-WS.org, pp. 62–74, doi:10.1145/2824815.2824816.
  16. Paola Giannini, Marco Servetto & Elena Zucca (2017): Tracing sharing in an imperative pure calculus: extended abstract. In: FTfJP'17 - Formal Techniques for Java-like Programs. ACM Press, pp. 6:1–6:6, doi:10.1145/3103111.3104038.
  17. Paola Giannini, Marco Servetto & Elena Zucca (2017): A type and effect system for sharing. In: Ahmed Seffah, Birgit Penzenstadler, Carina Alves & Xin Peng: OOPS'17 - Object-Oriented Programming Languages and Systems, Track at SAC'17 - ACM Symp. on Applied Computing. ACM Press, pp. 1513–1515, doi:10.1145/3019612.3019890.
  18. Paola Giannini, Marco Servetto & Elena Zucca (2018): A type and effect system for uniqueness and immutability. In: Hisham M. Haddad, Roger L. Wainwright & Richard Chbeir: OOPS'18 - Object-Oriented Programming Languages and Systems, Track at SAC'18 - ACM Symp. on Applied Computing. ACM Press, pp. 1038–1045, doi:10.1145/3167132.3167245.
  19. Paola Giannini, Marco Servetto, Elena Zucca & James Cone (2019): Flexible recovery of uniqueness and immutability. Theoretical Computer Science 764, pp. 145 – 172, doi:10.1016/j.tcs.2018.09.001.
  20. Colin S. Gordon, Matthew J. Parkinson, Jared Parsons, Aleks Bromfield & Joe Duffy (2012): Uniqueness and reference immutability for safe parallelism. In: Gary T. Leavens & Matthew B. Dwyer: ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2012). ACM Press, pp. 21–40, doi:10.1145/2398857.2384619.
  21. John Hogg (1991): Islands: Aliasing Protection in Object-oriented Languages. In: Andreas Paepcke: ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1991. ACM Press, pp. 271–285, doi:10.1145/118014.117975.
  22. Atsushi Igarashi, Benjamin C. Pierce & Philip Wadler (2001): Featherweight Java: a minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems 23(3), pp. 396–450, doi:10.1145/503502.503505.
  23. John Maraist, Martin Odersky & Philip Wadler (1998): The Call-by-Need Lambda Calculus. Journ. of Functional Programming 8(3), pp. 275–317, doi:10.1017/S0956796898003037.
  24. Robin Milner (1999): Communicating and mobile systems - the Pi-calculus. Cambridge University Press, doi:10.1017/S0956796898003037.
  25. Karl Naden, Robert Bocchino, Jonathan Aldrich & Kevin Bierhoff (2012): A type system for borrowing permissions. In: ACM Symp. on Principles of Programming Languages 2012. ACM Press, pp. 557–570, doi:10.1145/2103656.2103722.
  26. Marco Servetto & Lindsay Groves (2013): True small-step reduction for imperative object-oriented languages. FTfJP'13- Formal Techniques for Java-like Programs, doi:10.1145/2489804.2489805.
  27. Marco Servetto & Elena Zucca (2015): Aliasing Control in an Imperative Pure Calculus. In: Xinyu Feng & Sungwoo Park: Programming Languages and Systems - 13th Asian Symposium (APLAS), Lecture Notes in Computer Science 9458. Springer, pp. 208–228, doi:10.1007/978-3-319-26529-2_12.
  28. Aaron Turon (2017): Rust: from POPL to practice (keynote). In: Giuseppe Castagna & Andrew D. Gordon: ACM Symp. on Principles of Programming Languages 2017. ACM Press, pp. 2, doi:10.1145/3009837.3011999.
  29. Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali & Michael D. Ernst (2010): Ownership and immutability in generic Java. In: ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2010), pp. 598–617, doi:10.1145/1869459.1869509.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org