Davide Ancona
Elena Zucca

Guest Editorial

Dear Readers,

The eighth workshop on Formal Techniques for Java-like Programs (FTfJP) was held at ECOOP 2006 in Nantes. The program committee selected 9 papers in the areas of

  • Type Systems
  • Language and Virtual Machine Design
  • Specification and Verification

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 verification, ownership types, and dynamic linking. The papers underwent a rigorous review process, including two rounds of revision, and each was referred by two expert reviewers.

We are grateful to the authors for submitting these contributions, and to the FTfJP 2006 program committee for reviewing and selecting the submissions.

The next FTfJP workshop will be held in conjunction with ECOOP 2007 in Berlino on July 31, 2007.

Kind regards,

Davide Ancona and Elena Zucca

DISI, University of Genova, Italy

PDF version