Volume 6, no. 5 (June 2007)

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

Editorial

• Davide Ancona, Elena Zucca, Guest Editorial, PDF, HTML, DOI.

Articles

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