Ownership types for flexible alias protection
- 1 October 1998
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 33 (10), 48-64
- https://doi.org/10.1145/286936.286947
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Region-Based Memory ManagementInformation and Computation, 1997
- Pizza into JavaPublished by Association for Computing Machinery (ACM) ,1997
- “Use-once” variables and linear objectsACM SIGPLAN Notices, 1995
- Interprocedural may-alias analysis for pointersPublished by Association for Computing Machinery (ACM) ,1994
- Undecidability of static analysisACM Letters on Programming Languages and Systems, 1992
- A calculus of mobile processes, IInformation and Computation, 1992
- The Geneva convention on the treatment of object aliasingACM SIGPLAN OOPS Messenger, 1992
- Copying and swapping: influences on the design of reusable software componentsIEEE Transactions on Software Engineering, 1991
- Values and objects in programming languagesACM SIGPLAN Notices, 1982
- The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation LaboratoryACM Transactions on Programming Languages and Systems, 1981