Abstract is missing.
- Beyond the Geneva Convention on the Treatment of Object AliasingDave Clarke, James Noble, Tobias Wrigstad. 1-6 [doi]
- The Geneva Convention on the Treatment of Object AliasingJohn Hogg, Doug Lea, Alan Wills, Dennis de Champeaux, Richard C. Holt. 7-14 [doi]
- Ownership Types: A SurveyDave Clarke, Johan Östlund, Ilya Sergey, Tobias Wrigstad. 15-58 [doi]
- Notions of Aliasing and OwnershipAlan Mycroft, Janina Voigt. 59-83 [doi]
- Understanding Ownership Types with Dependent TypesNicholas R. Cameron, Sophia Drossopoulou, James Noble. 84-108 [doi]
- Object Graphs with Ownership Domains: An Empirical StudyRadu Vanciu, Marwan Abi-Antoun. 109-155 [doi]
- Alias Control for Deterministic ParallelismRobert L. Bocchino Jr.. 156-195 [doi]
- Alias Analysis for Object-Oriented ProgramsManu Sridharan, Satish Chandra, Julian Dolby, Stephen J. Fink, Eran Yahav. 196-232 [doi]
- ImmutabilityAlex Potanin, Johan Östlund, Yoav Zibin, Michael D. Ernst. 233-269 [doi]
- Fractional PermissionsJohn Boyland. 270-288 [doi]
- Object Ownership in Program VerificationWerner Dietl, Peter Müller. 289-318 [doi]
- State Based Encapsulation for Modular Reasoning about Behavior-Preserving RefactoringsAnindya Banerjee, David A. Naumann. 319-365 [doi]
- Separation Logic for Object-Oriented ProgrammingMatthew J. Parkinson, Gavin M. Bierman. 366-406 [doi]
- VeriFast for Java: A TutorialJan Smans, Bart Jacobs, Frank Piessens. 407-442 [doi]
- Confined Roles and Decapsulation in Object Teams - Contradiction or Synergy?Stephan Herrmann. 443-470 [doi]
- Location Types for Safe Programming with Near and Far ReferencesYannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter. 471-500 [doi]
- The Future of Aliasing in Parallel ProgrammingRobert L. Bocchino Jr.. 501-502 [doi]
- Aliasing Visions: Ownership and LocationAlan Mycroft. 503-504 [doi]
- Alias Analysis: Beyond the CodeManu Sridharan. 505-506 [doi]
- How, Then, Should We Program?James Noble. 507-508 [doi]
- A Retrospective on Aliasing Type Systems: 2012-2022Jonathan Aldrich. 509-511 [doi]
- Structured AliasingTobias Wrigstad. 512-513 [doi]