Volume 6, no. 5 (June 2007)
Workshop on Formal Techniques for Java-like Programs (FTfJP), ECOOP 2006
Editorial
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.