Guest Editorial

Susan Eisenbach

Peter Müller

Arnd Poetzsch-Heffter

Dear Readers,

The ECOOP 2003 workshop on Formal Techniques for Java-like Programs (FTfJP) was the fifth in the series of workshops held at ECOOP. Like its predecessors, this workshop attracted a high number of quality submissions. A program committee selected 17 papers in the areas of

• Language Semantics
• Specification and Verification
• Refinement and Static Analysis
• Language Implementation and Runtime Checking

The authors of the best workshop papers were invited to submit a full article to this JOT special issue. The accepted papers advance the state of the art in specification, verification, and compilation of both sequential and concurrent object-oriented programs.
We are grateful to the authors for submitting these contributions, to the FTfJP 2003 program committee for reviewing and selecting the submissions, and to our co-organizers of the FTfJP workshop series. The next FTfJP workshop will be held in conjunction with ECOOP 2004 in Oslo on June 15, 2004.

Kind regards,

Susan Eisenbach, Peter Müller, Arnd Poetzsch-Heffter

PDF version