Volume 7, no. 5 (June 2008)

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

Editorial

• John Boyland, Guest Editorial, PDF, HTML, DOI.

Articles

• Manuel Fähndrich, Diego Garbervetsky, Wolfram Schulte, A Static Analysis to Detect Re-Entrancy in Object Oriented Programs, pp. 5-23, PDF, HTML, DOI.
• Vincent Cremet, Philippe Altherr, Adding Type Constructor Parameterization to Java, pp. 25-65, PDF, HTML, DOI.
• Chieri Saito, Atsushi Igarashi, The Essence of Lightweight Family Polymorphism, pp. 67-99, PDF, HTML, DOI.