Class properties for security review in an object-capability subset of Java: (short paper)

@inproceedings{Mettler2010ClassPF,
  title={Class properties for security review in an object-capability subset of Java: (short paper)},
  author={Adrian Mettler and David A. Wagner},
  booktitle={PLAS},
  year={2010}
}
Joe-E is a subset of the Java language, with additional restrictions enforced by a static source-code verifier. We explore several semantic properties of classes relating to immutability and object identity that can be declared by the programmer and are checked by the Joe-E verifier. We present the simple, modular analyses we use to verify these properties… CONTINUE READING