Alias annotations for program understanding

• 1 January 2002
• conference paper
• Published by Association for Computing Machinery (ACM)
• Vol. 37  (11) , 311-330
• https://doi.org/10.1145/582419.582448

Abstract

Keywords

• ALIASING
• ALIASJAVA
• ENCAPSULATION
• JAVA
• OWNERSHIP TYPES
• TYPE INFERENCE
• UNIQUENESS