Special Section on Formal Techniques for Java-like Programs

By: Frank Piessens, Bart Jacobs, Gary T. Leavens

Abstract

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.

Keywords

Java, formal techniques

Cite as:

Frank Piessens, Bart Jacobs, Gary T. Leavens, “Special Section on Formal Techniques for Java-like Programs”, Journal of Object Technology, Volume 10, (2011), doi:10.5381/jot.2011.10.1.e2.