default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAliasing in Object-Oriented Programming 2013
- Dave Clarke, James Noble, Tobias Wrigstad:
Aliasing in Object-Oriented Programming. Types, Analysis and Verification. Lecture Notes in Computer Science 7850, Springer 2013, ISBN 978-3-642-36945-2
The Geneva Convention
- Dave Clarke, James Noble
, Tobias Wrigstad:
Beyond the Geneva Convention on the Treatment of Object Aliasing. 1-6 - John Hogg, Doug Lea, Alan Cameron Wills, Dennis de Champeaux, Richard C. Holt:
The Geneva Convention on the Treatment of Object Aliasing. 7-14
Ownership
- Dave Clarke, Johan Östlund, Ilya Sergey, Tobias Wrigstad:
Ownership Types: A Survey. 15-58 - Alan Mycroft, Janina Voigt:
Notions of Aliasing and Ownership. 59-83 - Nicholas Cameron, Sophia Drossopoulou, James Noble:
Understanding Ownership Types with Dependent Types. 84-108 - Radu Vanciu, Marwan Abi-Antoun:
Object Graphs with Ownership Domains: An Empirical Study. 109-155
Concurrency
- Robert L. Bocchino Jr.:
Alias Control for Deterministic Parallelism. 156-195
Alias Analysis
- Manu Sridharan, Satish Chandra, Julian Dolby, Stephen J. Fink, Eran Yahav:
Alias Analysis for Object-Oriented Programs. 196-232
Controlling Effects
- Alex Potanin, Johan Östlund, Yoav Zibin, Michael D. Ernst:
Immutability. 233-269 - John Boyland:
Fractional Permissions. 270-288
Verification
- Werner Dietl, Peter Müller:
Object Ownership in Program Verification. 289-318 - Anindya Banerjee, David A. Naumann:
State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings. 319-365 - Matthew J. Parkinson, Gavin M. Bierman:
Separation Logic for Object-Oriented Programming. 366-406 - Jan Smans, Bart Jacobs, Frank Piessens:
VeriFast for Java: A Tutorial. 407-442
Programming Languages
- Stephan Herrmann:
Confined Roles and Decapsulation in Object Teams - Contradiction or Synergy? 443-470 - Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter:
Location Types for Safe Programming with Near and Far References. 471-500
Visions
- Robert L. Bocchino Jr.:
The Future of Aliasing in Parallel Programming. 501-502 - Alan Mycroft:
Aliasing Visions: Ownership and Location. 503-504 - Manu Sridharan:
Alias Analysis: Beyond the Code. 505-506 - James Noble:
How, Then, Should We Program? 507-508 - Jonathan Aldrich:
A Retrospective on Aliasing Type Systems: 2012-2022. 509-511 - Tobias Wrigstad:
Structured Aliasing. 512-513
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
