Volume 4, no. 8 (October 2005)
Editorial
Articles
- Werner Dietl, Peter Müller, Universes: Lightweight Ownership for JML, pp. 5-32, PDF, HTML.
- Neal Glew, Jens Palsberg, Method Inlining, Dynamic Class Loading, and Type Soundness, pp. 33-53, PDF, HTML.
- Alessandro Coglio, Checking Access to Protected Members in the Java Virtual Machine, pp. 55-76, PDF, HTML.
- David R. Cok, Reasoning with specifications containing method calls and model fields, pp. 77-103, PDF, HTML.