Volume 5, no. 5 (June 2006)
Editorial
Articles
- John Boyland, Why we should not add readonly to Java (yet), pp. 5-29, PDF, HTML.
- Victor Braberman, Diego Garbervetsky, Sergio Yovine, A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption, pp. 31-58, PDF, HTML.
- Adam Darvas, Peter Müller, Reasoning About Method Calls in Interface Specifications, pp. 59-85, PDF, HTML.