Guest Editorial
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,
|
