Computing Publications

Publications Home » Inner classes visit Aliasing

Inner classes visit Aliasing

Sophia Drossopoulou, Matthew Smith

Conference or Workshop Paper
ECOOP Workshop on Formal Techniques for Java Programs (FTfJP 2003), Darmstadt, Germany
July, 2003

Inner classes appear nested withing class definitions, and may access any members of the class ion which they are contained. The interplay between inner classes, aliasing and subclasses can make resolution of such accesses intricate. We offer a succinct model for member classes, in which we highlight these intricacies, and we prove soundness.

Java Semantics

Postscript of full publication (694 kilobytes)
(need help viewing Postscript files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.