Matthew Smith and Sophia Drossopoulou
Inner classes visit aliasing
In ECOOP 2003 Workshop on Formal Techniques for Java-like
Programming, 2003
Inner classes appear nested within class
definitions. They may access any members of the
classes in 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.
[ bib |
.html ]
Back
This file has been generated by
bibtex2html 1.43