External Links

    Journal: Journal of Object Technology

    Volume 4, Issue 8

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