External Uniqueness Is Unique Enough

This publication has 27 references indexed in Scilit:

• Ownership types for safe region-based memory management in real-time Java
  Published by Association for Computing Machinery (ACM) ,2003
• Representation independence, confinement and access control [extended abstract]
  Published by Association for Computing Machinery (ACM) ,2002
• Alias annotations for program understanding
  Published by Association for Computing Machinery (ACM) ,2002
• Ownership types for safe programming
  Published by Association for Computing Machinery (ACM) ,2002
• A parameterized type system for race-free Java programs
  Published by Association for Computing Machinery (ACM) ,2001
• Capabilities for Sharing
  Published by Springer Nature ,2001
• Alias burying: Unique variables without destructive reads
  Software: Practice and Experience, 2001
• Guava
  Published by Association for Computing Machinery (ACM) ,2000
• Balloon types: Controlling sharing of state in data types
  Published by Springer Nature ,1997
• “Use-once” variables and linear objects
  ACM SIGPLAN Notices, 1995