Ownership types for safe programming
- 4 November 2002
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 37 (11) , 211-230
- https://doi.org/10.1145/583854.582440
Abstract
No abstract availableThis publication has 33 references indexed in Scilit:
- Region-based memory management in cyclonePublished by Association for Computing Machinery (ACM) ,2002
- Alias annotations for program understandingPublished by Association for Computing Machinery (ACM) ,2002
- Bugs as deviant behaviorPublished by Association for Computing Machinery (ACM) ,2001
- The pointer assertion logic enginePublished by Association for Computing Machinery (ACM) ,2001
- Type-based race detection for JavaPublished by Association for Computing Machinery (ACM) ,2000
- Solving shape-analysis problems in languages with destructive updatingACM Transactions on Programming Languages and Systems, 1998
- A Syntactic Approach to Type SoundnessInformation and Computation, 1994
- The Geneva convention on the treatment of object aliasingACM SIGPLAN OOPS Messenger, 1992
- The problem of nested monitor callsACM SIGOPS Operating Systems Review, 1977
- Report on the programming language EuclidACM SIGPLAN Notices, 1977