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
Abstract

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.

Keywords
SLURP
Java Semantics
Notes

http://www.cs.kun.nl/~erikpoll/ftfjp/2003.html

Postscript of full publication (694 kilobytes)
(need help viewing Postscript files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.