Formal Techniques for Java-like Programs (FTfJP), with 12 completed successful events, and a 13th event on the horizon, is one of the most prestigious and long-standing ECOOP workshop series.
The 12th edition of the workshop was organized on June 22, 2010 in Maribor, Slovenia. Twelve papers were submitted in response to the Call For Papers, and nine of them were accepted for presentation at the workshop. With an average attendance of about 30 participants — and a peak attendance of over 50 during the invited talk (thanks to Shriram Krishnamurthi) — FTfJP was one of the most popular workshops at ECOOP 2010.
We invited the authors of five papers to submit a revised and extended version to this JOT special section, and received three submissions. After an additional round of reviewing, two of them were accepted, and we are proud to publish them in this special issue.
We would like to thank the researchers that submitted their work to the workshop, the speakers and participants at the event, and in particular the FTfJP 2010 program committee members and reviewers.
We look forward to see you (again) at a future FTfJP workshop,
Frank Piessens, Bart Jacobs and Gary T. Leavens