Volume 4, no. 8 (October 2005)

Workshop on Formal Techniques for Java-like Programs (FTfJP), ECOOP 2004

Editorial

• Susan Eisenbach, Joe Kiniry, Guest Editorial, PDF, HTML, DOI.

Articles

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