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