Dear Readers,

The ninth workshop on Formal Techniques for Java-like Programs (FTfJP '07) was held in Berlin , Germany on July 31st, in conjunction with ECOOP 2007 (European Conference on Object-Oriented Programming). Work on formal techniques and tools for programs, and work on the formal underpinnings of programming languages themselves naturally complement each other. This series of workshops aims to bring together people working in both these fields.

Of the 20 papers submitted to the workshop, nine were accepted. Of those eight were invited to submit to this special issue. Four papers were submitted and three were accepted and appear in this special issue.

I wish to express my profound gratitude to all those who helped make this special issue a reality.

Best regards


John Boyland

Milwaukee , Wisconsin , USA



PDF version