Gordon, Donald James
(Victoria University of Wellington, 2008)
Unrestricted aliasing is a problem endemic to object oriented programming. It allows notions of encapsulation fundamental to object oriented
programming to be violated. This thesis describes ConstrainedJava, an implementation ...