Volume 6, no. 5 (June 2007)

Editorial

Richard Wiener, Editorial, PDF, HTML.

Articles

Bart Jacobs, Frank Piessens, Inspector Methods for State Abstraction, pp. 55-75, PDF, HTML.
Giovanni Lagorio, Modelling a JVM for polymorphic bytecode, pp. 71-100, PDF, HTML.
Jan Schaefer, Arnd Poetzsch-Heffter, A Parameterized Type System for Simple Loose Ownership Domains, pp. 71-100, PDF, HTML.