External Links

    Journal: Journal of Object Technology

    Volume 5, Issue 5

    5 -- 29John Boyland. Why we should not add readonly to Java (yet)
    31 -- 58Víctor A. Braberman, Diego Garbervetsky, Sergio Yovine. A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption
    59 -- 85Ádám Darvas, Peter Müller. Reasoning About Method Calls in Interface Specifications
    runs on